Kobe / Madrid / West Lafayette / Houston / Kalvi Manor / Austin / Simple Unification / Paris / Tokyo / Philadelphia / Aussios / Pittsburgh / Portland / Vancouver / Bloomington / Falls / Nottingham / Hoboken / Wadern / Grenoble / Gothenburg / Wahnhong Nam / Charlottesville / Beaverton / Eugene / Boston / Baltimore / New York / Ithaca / Cambridge / Park City / Copenhagen / Hongbo Zhang / Glasgow / Snowbird / Jianzhao Zhao / London / San Diego / New Haven / Edinburgh / St. Andrews / Frauenchiemsee / /
Company
Boulder CO. / Facebook / University of Cambridge Computer / Advanced Type Systems / IFIP Working Group / University of Cambridge Computer Laboratory / System F. Laboratory / Draper Laboratory / Intel / Microsoft / /
Country
Switzerland / Estonia / France / Japan / Australia / United Kingdom / Scotland / Denmark / Germany / Serbia / Sweden / United States / Spain / /
Currency
USD / / /
Facility
Manifest Security University of Pennsylvania / Portland State University / Northeastern University / University of Strathclyde / College Park / Teaching Experience University of Pennsylvania / University Paris / University Service / Pennsylvania State University / City University of New York Graduate Center / Penn CIS Graduate Women’s club / University of Texas / Purdue University / University of Michigan / University of California / State College / University of Colorado / Harvard University / University of Virginia / Princeton University / University of Cambridge Computer Laboratory Wednesday Seminars / University of Iowa / University of Oregon / Carnegie Mellon University / Stevens Institute of Technology / Coffs Harbour / University of Nottingham / Cornell University / University of Pennsylvania Levine / Indiana University / Penn CIS Undergraduate Women’s club / University of Maryland / University of Ghent / Massachusetts Institute of Technology / Oregon Graduate Institute / University of Pennsylvania / Yale University / /
IndustryTerm
type systems / /
NaturalFeature
Programming Languages Fall / Mountain View CA / /
OperatingSystem
UNIX / /
Organization
City University of New York Graduate Center / University of Michigan / Ann Arbor / Curriculum Committee / Princeton University / Dissertation committee / Rice University / State College / Microsoft Research Lab / Indiana University / Nomination committee / Cornell University / University of Virginia / Cambridge Computer Laboratory / Carnegie Mellon University / University committee / Research Community Service Journal Service / University of Iowa / Penn / International Federation for Information Processing / University of California / San Diego / University of Texas / Portland State University / University of Oregon / Harvard University / National Security Agency / External Review Committee / Graduate Admissions Committee / National Science Foundation / University of Pennsylvania / Northeastern University / Boston / University Service / Weirich School of Engineering and Science / University of Colorado / Stephanie Weirich School of Engineering and Science / Pennsylvania State University / Massachusetts Institute of Technology / Boston / Stevens Institute of Technology / University of Maryland / College Park / AΩE International Engineering and Technical Science Sorority / Purdue University / Yale University / Academic Performance Committee / Association for Computing Machinery / Care Committee / University of Ghent / Editorial Board / Faculty Council / PEPM Department / University of Nottingham / University of Pennsylvania Levine / OHSU/Oregon Graduate Institute / University of Strathclyde / /
Person
Antoine Voizard / Aaron Bohannon / Daniel Wagner / Peter Michael Osera / Jennifer Paykin / Murray Hill / David Gorski / Fort Meade / Boris Yakobowski / Penn / Stephen Tse / Mitchell Stern / Michael Greenberg / Steve Zdancewic / Justin Hsu / Kathleen Fisher / Chris Casinghino / Juan Jose Lopez / Steven Keuchel / Brent Yorgey / Kaycee Anderson / Chris Casighino / Stephanie Simon / Jean-Philippe Bernardy / Karl Mazurak / Richard Eisenberg / Ron Garcia / Neal Parikh / Shin-Cheng Mu / Jeffrey Vaughan / Benjamin Pierce / Jeff Vaughan / Liang Huang / Vladimir Gapayev / Andrew Hilton / Peter-Michael Osera / Geoffrey Washburn / Atish Davda / Harley Eades III / Rexford / Julien Cretin / Arthur Charguéraud / Caroline Ho / Johanna Martens / / /
Position
Advisor / Harper / Crary / General / Faculty advisor / Programming Contest Panelist/Speaker / Instructor / Research Assistant and Teaching Assistant / Research Visiting Researcher / Invited speaker / general chair / Associate Professor / Editor / Walker / program chair / Joint invited speaker / Workshop co-founder / Undergraduate Curriculum Chair / Assistant Professor / Senior Design Project Judge / Chair / CIS seminar series coordinator / /
ProgrammingLanguage
Java / Haskell / ML / C++ / /
ProvinceOrState
Virginia / Indiana / British Columbia / New York / Connecticut / Michigan / Utah / California / Colorado / Texas / New Jersey / Maryland / Oregon / Pennsylvania / Iowa / Massachusetts / /