conf.researchr.org / Andrew Kennedy
Registered user since Fri 16 Mar 2018
Name: Andrew Kennedy
Country: United Kingdom
Affiliation: Facebook London
Research interests: Programming languages, compilers, type systems, formal verification
All Activities
- OCaml Workshop Chair in Organizing Committee for ICFP 2018
- Committee Member in Program Committee for ML 2018
- Program Chair in Program Committee for OCaml 2018
- invited speaker of Driving types into PHP within the TyDe 2017-track in TyDe 2017
- Committee Member in External Review Committee for PLDI 2015 Research Papers