Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Nate AckermanHarvard UniversityVerified email at math.harvard.edu
Daniel M. RoyUniversity of Toronto, Dept of Statistical Sciences; Computer ScienceVerified email at utoronto.ca
Rehana PatelMathematicianVerified email at wesleyan.edu
Alexander D. Wissner-GrossHarvard, MITVerified email at post.harvard.edu
Vikash K. MansinghkaMIT, Probabilistic Computing ProjectVerified email at mit.edu
Feras A. SaadCMUVerified email at cmu.edu
Frank StephanNational University of SingaporeVerified email at comp.nus.edu.sg
Andre NiesUniversity of AucklandVerified email at cs.auckland.ac.nz
Bjørn Kjos-HanssenProfessor of Mathematics, University of Hawaii at ManoaVerified email at hawaii.edu
Diana CaiCenter for Computational Mathematics, Flatiron InstituteVerified email at flatironinstitute.org
martin rinardMITVerified email at lcs.mit.edu
Span SpanbauerMassachusetts Institute of TechnologyVerified email at mit.edu
Jason RuteIBM ResearchVerified email at ibm.com
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
Joshua B. TenenbaumMITVerified email at mit.edu
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Dario SteinRadboud University NijmegenVerified email at ru.nl
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerified email at bc.edu
Jaroslav NešetřilCharles UniversityVerified email at kam.mff.cuni.cz
Alex KruckmanWesleyan UniversityVerified email at wesleyan.edu