Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Niki VazouIMDEA Software InstituteVerified email at cs.umd.edu
Anish TondwalkarUniversity of California, San DiegoVerified email at ucsd.edu
Ryan NewtonMIT, Indiana University, FacebookVerified email at indiana.edu
Ranjit JhalaUC San DiegoVerified email at ucsd.edu
Amr SabryProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Chao-Hong ChenIndiana UniversityVerified email at indiana.edu
Jacques CaretteAssociate Professor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
Jacek KarwowskiUniversity of OxfordVerified email at cs.ox.ac.uk
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Amit SinhababuAssistant Professor, Chennai Mathematical Institute
Follow![Vikraman Choudhury](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=25q0yK8AAAAJ&citpid=1)
Vikraman Choudhury
Marie Skłodowska-Curie Fellow, Università di Bologna
Verified email at unibo.it - Homepage