Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Jose Calderon

Registered user since Sun 10 Apr 2016

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.

Personal website: http://jmct.cc

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

Contributions

ICFP 2018Author of T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games within the Tutorials-track
Video Co-Chair in Organizing Committee
Show activities from other conferences

Using general profile