Date: Tue, 05 Nov 1996 21:35:11 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Tue, 10 Sep 1996 14:44:53 GMT Content-length: 3981
I am a graduate student in the area of programming languages in the Department of Computer Science at the University of Wisconsin-Madison .
I am a research assistant for Professor Tom Reps . Our research group, the Wisconsin Program Slicing Project, aims to create enhanced tools to support the development of complex software systems. My research is directed (at least for today) towards using types and type inference to improve software reusability.
A Dilbert for the times:
Papers and Publications:
To appear in ACM SIGSOFT '96 Fourth Symposium on the Foundations of Software Engineering.
My main academic interests lie in the application of insights and
techniques of mathematical logic and theoretical computer science to solve
problems in programming languages and compiler design.
Some programming language links: