Madrid / Montreal / Austin / Boston / New York / Paris / Oxford / Philadelphia / Victoria / New Orleans / Report / Portland / Sinica / Copenhagen / San Diego / Chicago / Edinburgh / /
Company
Steve Zdancewic / Facebook / Microsoft / Benjamin Pierce / /
Country
Taiwan / France / United States / Canada / United Kingdom / Scotland / Spain / Denmark / /
Event
Business Partnership / /
Facility
Levine Hall / University of Iowa / RepLib library / University of Edinburgh / Cornell University / Cambridge University / University of Pennsylvania / Strathclyde University / /
IndustryTerm
aerospace engineering / information to refactoring and development tools / congruence closure algorithm / attack-resilient control algorithms / community infrastructure / social networking / adaptive systems / banking / call-by-value dependent type systems / type inference algorithm / type systems / Static type systems / ros-based control systems / /
Organization
UCLA / Cambridge University / National Science Foundation / University of Pennsylvania / the University of Pennsylvania / Oregon Programming Languages Summer School / Cornell University / Strathclyde University / University of Edinburgh / Computer and Information Science Department / University of Iowa / /
Person
Conor McBride / Aaron Bohannon / Harley D. Eades III / Brent A. Yorgey / Richard A. Eisenberg / Jianzhou Zhao / Richard Eisenberg / Karl Crary / Limin Jia / Peng Fu / Brian Aydemir / Thomas Tom Schrijvers / Simon L. Peyton / David Walker / Dimitrios Vytiniotis / Wenrui Meng / Joachim Breitner / Nathan Collins / Vilhelm Sjöberg / Simon Peyton Jones / Washburn Weirich / Oleg Sokolsky / Vilhem Sjöberg / Brian E. Aydemir / Aaron Stump / Mark Shields / Stephanie Weirich / José Pedro Magalha / C. Pierce / Daniel S. Dantas / Liang Huang / Geo / Tim Sheard / Justin Hsu / Jan Stolarek / Chris Casinghino / Matthew Fairbairn / Garrin Kimmell / Randy Pollack / Junkil Park / Insup Lee / Takayuki Muranushi / Steven Keuchel / Peter Sewell / Brent Yorgey / J. Nathan Foster / Yung Ahn / Greg Morrisett / L. Peyton Jones / Julien Cretin / Arthur Charguéraud / /
Position
editor / program chair / Coq proof assistant / /
Product
Coq / /
ProgrammingLanguage
Java / Haskell / /
ProvinceOrState
British Columbia / New York / Victoria / Pennsylvania / Iowa / Massachusetts / /
Technology
functional programming / type inference algorithm / attack-resilient control algorithms / congruence closure algorithm / Java / simulation / /
Stephanie Weirich Research Statement My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-effective form of lightweight program verification. They provide