Get my own profile
Co-authors
Zhong ShaoYale UniversityVerified email at yale.edu
Martin HofmannProfessor for Informatics, University of MunichVerified email at ifi.lmu.de
Ankush DasPhD student of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Di WangCarnegie Mellon UniversityVerified email at cs.cmu.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Marco GaboardiBoston UniversityVerified email at bu.edu
Sam BussProfessor of Mathematics and Computer ScienceVerified email at ucsd.edu
Felix BrandtProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Felix FischerQueen Mary University of LondonVerified email at qmul.ac.uk
Xinyu FengNanjing UniversityVerified email at nju.edu.cn
Hongjin LiangNanjing UniversityVerified email at nju.edu.cn
Jan JohannsenInstitut für Informatik, LMU MünchenVerified email at ifi.lmu.de
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Ezgi ÇiçekMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Van Chan NgoComputer Science Department, Carnegie Mellon UniversityVerified email at cmu.edu
Jörg RotheProfessor of Computer Science, Heinrich-Heine-Universität DüsseldorfVerified email at cs.uni-duesseldorf.de
Jan Hoffmann
Verified email at cmu.edu - Homepage