Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, programming, and type systems
(9)
Parallel Computing and Optimization Techniques
(8)
Formal Methods in Verification
(6)
Distributed and Parallel Computing Systems
(6)
Bayesian Modeling and Causal Inference
(5)
Affiliations
Google (United States)
National University of Ireland, Maynooth
Moscow Institute of Thermal Technology
Massachusetts Institute of Technology