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 2018Session Chair of T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games (part of Tutorials)
Author 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
ICFP 2017Video Chair in Organizing Committee
Off the Beaten Track 2017Author of Laziness Boxes You In within the OBT-track
ICFP 2016Video Co-Chair in Organizing Committee