Schloss Dagstuhl / San Antonio / Philadelphia / Pittsburgh / Oakland / Wadern / Gothenburg / Birmingham / Boston / Ithaca / Cambridge / Park City / Linthicum / Bertinoro / Genoa / /
Company
Cambridge Computing Laboratory / Engineering Secure Software / Lucent Technologies / IBM / IFIP Working Group / Embedded Systems / Fault Tolerant Software / Secure Embedded Software / Intel / Microsoft / High Confidence Software / /
Country
France / Iceland / United Kingdom / Scotland / Germany / Italy / Sweden / /
Currency
USD / / /
Facility
M.S. Computer Science Cornell University / City University of NY Graduate Center / Northeastern University / Compilers University of Pennsylvania / Techniques I University of Pennsylvania / University of Edinburgh / Pennsylvania State University / University of Iowa Computer Science Colloquium / University of Massachusetts / University of Texas / Purdue University / University of Michigan / University of California / University of Colorado / Harvard University / University of Virginia / University of Pennsylvania PI / Princeton University / Stevens Institute of Technology Laboratory / University of Oregon / Security University of Pennsylvania / Concurrent Systems University of Pennsylvania / Maritime Institute / Chalmers University / Compiler Verification University of Pennsylvania / Computer Science University of Pennsylvania Philadelphia / Software Foundations University of Pennsylvania / Mathematics Carnegie Mellon University / College Park PI / University of Maryland / Oregon Graduate Institute / Ph.D. Computer Science Cornell University / Rice University / University of Pennsylvania / University Experience / Strathclyde University / / /
IndustryTerm
concurrent systems / department web / cryptographic protocols / basic cryptographic protocols / type systems / information-flow type systems / /
NaturalFeature
SEAS UAC / /
OperatingSystem
Unix / /
Organization
CIS Department Undergraduate Curriculum Committee / University of Maryland / Northeastern University / Center of Academic Excellence / University of Michigan / Princeton University / University of Massachusetts / Amherst / Rice University / NY Graduate Center / International School on Foundations of Security Analysis / Pennsylvania State University PI / Cornell University / Strathclyde University / Chalmers University / University of Virginia / Maritime Institute / Stevens Institute of Technology Laboratory for Secure Systems Seminar / University of Edinburgh / SEAS UAC committee / Carnegie Mellon University / School of Informatics / Computer Science University of Pennsylvania Philadelphia / University of California / San Diego / City University / University of Texas / Summer School on Types / Logic and Verification / Harvard University / University of Oregon / Summer School on Foundations of Security / External Review Committee / Carnegie Mellon University PI / National Science Foundation / Summer School on Software Security / University of Pennsylvania / MIT / Harvard / Pennsylvania PI / Pennsylvania State University / University of Maryland / College Park PI / Purdue University / University of Iowa Computer Science Colloquium / Oregon Graduate Institute / Summer School / Oregon Summer School on Programming Languages / Department of Computer Science / University of Colorado / Boulder / Department of Computer Science Seminar / Steering Committee / /
Person
Robert Rand / Rajeev Alur / Santosh Nagarakatte / Karl Crary / Dan Grossman / Limin Jia / Kyle Hardgrave / Jennifer Paykin / Joseph Devietti / David Walker / David Kolas / Eugene Oregon / Andrew C. Myers / Stephen Tse / Stephanie Weirich / David Xu / Classical Fo Jianzhou Zhao / Christopher Low / Michael Christensen / Patrick McDaniel / Lantian Zheng / Robert Battle / Steve Zdancewic / Damiano Mazza / Andre Scedrov / B. Pierce / August / Luca Vigano / Marco Gaboardi / Jonathan Smith / Alfred P. Sloan / Greg Morrisett / Michael Hicks / Advised Stephen Tse / Milo M. K. Martin / Paul Shied / Marissa Krupen / Roman Shor / Benoit Ph / Jonathan Jin / Karl Mazurak / Dmitri Garbuzo / Rupi Sureshkumar / Jay Ligatti / Nate Close / Christopher Lam / Valiron Zdancewic / Robert Harper / Milo M K Martin / Peng Li / William Winsborough / Ceasar Bautista / Benjamin Pierce / Grant Panels / Andrei Sabelfeld / Jeff Vaughan / Luke Zarko / S. Weirich / Corey Pierson / Jonathan M. Smith / May / Frank Pfenning / Peter-Michael Osera / Amalia Hawkins / Nathaniel Nystrom / Vugranam C. Shreedhar / Adi Dahiya / Steven Richter / Ralf Kusters / Stephan A. Zdancewic / Steve Zdancewic Stephan / / /
Position
Advisor / Professor of Computer / Visiting researcher / Executive / Associate Professor / Program Chair / Co-Chair / Chair / Co-editor / /
ProgrammingLanguage
Java / C / Python / Haskell / C++ / /
ProvinceOrState
Virginia / New York / Michigan / Utah / California / Colorado / Texas / New Jersey / Maryland / Pennsylvania / Massachusetts / /
PublishedMedium
IEEE Transactions on Computers / Theoretical Computer Science / /
Technology
functional programming / flow Control / Java / basic cryptographic protocols / Operating Systems / /