Stephanie Weirich
Associate Professor
Computer and Information Science (CIS)
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 1966 - Rice University
Recent Publications 
- Dependently Typed programming with singletons, Eisenberg, R.A. | Weirich, S., ACM SIGPLAN Notices, 2013
- Dependently typed programming with singletons, Eisenberg, R.A. | Weirich, S., Haskell'12 - Proceedings of the 2012 ACM SIGPLAN Haskell Symposium 2012, 2012
- Preface, Pierce, B.C. | Weirich, S., Journal of Automated Reasoning, 2012
- Generic programming with dependent types, Weirich, S. | Casinghino, C., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012
- Editorial, Acar, U.A. | Cheney, J. | Weirich, S., Journal of Functional Programming, 2012