Get my own profile
Co-authors
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Rebecca N. WrightBarnard CollegeVerified email at barnard.edu
Vijay RamachandranAssistant Professor of Computer Science, Colgate UniversityVerified email at colgate.edu
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Joan FeigenbaumGrace Murray Hopper Professor of Computer Science, Yale UniversityVerified email at yale.edu
Michael SchapiraProfessor of Computer Science, The Hebrew University of JerusalemVerified email at huji.ac.il
Paul SyversonMathematician, U.S. Naval Research LaboratoryVerified email at itd.nrl.navy.mil
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information Security, SaarlandVerified email at cispa.saarland
Bruno BlanchetSenior researcher, INRIA ParisVerified email at inria.fr
Aaron JohnsonU.S. Naval Research LaboratoryVerified email at nrl.navy.mil
Timothy G. GriffinSenior Lecturer, University of CambridgeVerified email at cl.cam.ac.uk
Alex FabrikantResearch scientist, Google ResearchVerified email at google.com
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerified email at nrl.navy.mil
Michael MisloveTulane UniversityVerified email at tulane.edu
Roberto SegalaUniversità di VeronaVerified email at univr.it