Get my own profile
Co-authors
Cătălin HrițcuTenured Researcher at MPI for Security and PrivacyVerified email at csp.mpg.de- Alan SchmittInria, IRISAVerified email at inria.fr
- Haruo HosoyaATR InternationalVerified email at atr.jp
- Nate FosterAssociate Professor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
- Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityVerified email at kuis.kyoto-u.ac.jp
- Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Arthur Azevedo de AmorimBoston UniversityVerified email at bu.edu
- Andreas HaeberlenUniversity of PennsylvaniaVerified email at cis.upenn.edu
- Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
- Jérôme VouillonCNRS, Université Paris DiderotVerified email at pps.univ-paris-diderot.fr
- Michael GreenbergPomona College - Computer ScienceVerified email at pomona.edu
- Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
- Andre DeHonUniversity of PennsylvaniaVerified email at acm.org
- Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
- Martin HofmannProfessor for Informatics, University of MunichVerified email at ifi.lmu.de
- Marco GaboardiBoston UniversityVerified email at bu.edu
- Giuseppe CastagnaDirecteur de Recherche CNRS, Université de ParisVerified email at univ-paris-diderot.fr
- Eijiro SumiiTohoku UniversityVerified email at ecei.tohoku.ac.jp
- Kim BruceProfessor of Computer Science, Pomona CollegeVerified email at pomona.edu
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage