Name:Jose Calderon

Bio:

Research Engineer at the DC office of Galois, Inc.

PhD in Programming Languages from the University of York, UK.

Country:United States

Affiliation:Galois, Inc.

Research interests:Functional Programming, Static Analysis, Parallelism, Compilers