Get my own profile
Public access
View all73 articles
1 article
available
not available
Based on funding mandates
Co-authors
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Mate SoosEthereum FoundationVerified email at ethereum.org
Vinodchandran VariyamProfessor, Computer Science and Engineering, University of Nebraska-LincolnVerified email at cse.unl.edu
Bishwamittra GhoshPostdoctoral Researcher, MPI-SWS, GermanyVerified email at u.nus.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Priyanka GoliaAssistant Prof., Indian Institute of Technology DelhiVerified email at iitd.ac.in
Sourav ChakrabortyIndian Statistical Institute, KolkataVerified email at isical.ac.in
Shubham SharmaPhD student, NUS, SingaporeVerified email at comp.nus.edu.sg
Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
Pavan AduriIowa State UniversityVerified email at cs.iastate.edu
Dror FriedThe Open University of IsraelVerified email at openu.ac.il
Arnab BhattacharyyaAssociate Professor, University of WarwickVerified email at warwick.ac.uk
Yash PoteNational University of SingaporeVerified email at comp.nus.edu.sg
Aditya A. ShrotriSiemens Digital Industries SoftwareVerified email at siemens.com
Sutanu GayenAssistant Professor, IIT KanpurVerified email at cse.iitk.ac.in
Teodora BalutaGeorgia Institute of TechnologyVerified email at gatech.edu
Dmitry MalioutovResearch Staff Member, T.J. Watson IBM Research centerVerified email at us.ibm.com
axel legayUCLouvainVerified email at uclouvain.be
Leonardo Duenas-OsorioProfessor of Civil and Environmental Engineering, Rice UniversityVerified email at rice.edu
Follow
Kuldeep S. Meel
Associate Professor, University of Toronto
Verified email at cs.toronto.edu - Homepage