Stephanie Weirich

Associate Professor
Computer and Information Science (CIS)

Email | Personal Webpage

Honors and Awards:  NSF CAREER Award - 2004

Research Expertise: Programming Languages | logic

The goal of Stephanie's research is to enhance the reliability, maintainability, and security of software systems through statically-typed programming languages. Her research explores novel methods to bring more expressive type systems to users. Stephanie works to reconcile the features of expressive-but-theoretical type systems with existing languages, while partially automating the process of type system design to improve confidence in the soundness of more complicated type systems. Stephanie is also engaged in incorporating programming logics into the design of practical type systems so that application-specific properties may be expressed.

Education:
PhD Computer Science 2002 - Cornell University
MS Computer Science 2002 - Cornell University
BA Computer Science 1996 - Rice University

Recent Publications RSS Feed


Return to Directory