Get my own profile
Public access
View all10 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Nate AckermanHarvard UniversityVerified email at math.harvard.edu
Daniel M. RoyResearch Director, Vector Institute; Prof., U. Toronto (Statistics, CS)Verified 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. SaadCarnegie Mellon UniversityVerified email at cmu.edu
Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceVerified email at comp.nus.edu.sg
Andre NiesUniversity of AucklandVerified email at cs.auckland.ac.nz
martin rinardMITVerified email at lcs.mit.edu
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Diana CaiCenter for Computational Mathematics, Flatiron InstituteVerified email at flatironinstitute.org
Bjørn Kjos-HanssenProfessor of Mathematics, University of Hawaii at ManoaVerified email at hawaii.edu
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerified email at bc.edu
Julian AsilisPh.D. Student, University of Southern CaliforniaVerified email at usc.edu
Dario SteinRadboud University NijmegenVerified email at ru.nl
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
Span SpanbauerMassachusetts Institute of TechnologyVerified email at mit.edu
Alex KruckmanWesleyan UniversityVerified email at wesleyan.edu