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 Research Interests

Research and Academic Interests

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:


(click here to see United Media's larger version)

Papers and Publications:

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:


Assorted theory links: Assorted computer science links: Assorted mathematics links: