conf.researchr.org / Jose Calderon
![Jose Calderon](https://conf.researchr.org/getProfileImage/josecalderon/3b72f7fe-634a-446f-9187-b4c8a47aace6/small.jpg?1711492493000)
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
2022
2021
2020
2019
Haskell
2018
ICFP
- Session 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