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
|ICFP 2018||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
|Show activities from other conferences|