Welcome
Curt on Cedar Ridge, Grand Canyon
Welcome to my site.
I’m a PhD candidate in the Computer Science department at Iowa State University, studying under Gary T. Leavens. My teaching interests are in programming languages, object-oriented analysis and design, software engineering, and theory of computing. My research interests are in programming language design and implementation, and software engineering. I am particularly interested in:
- aspect-oriented programming,
- multiple-dispatch object-oriented languages,
- specification languages, and
- tool support.
My current projects are:
- MAO, a Modular Aspect-Oriented programming language that investigates confinement type systems for aspect-oriented languages. The goal of MAO is allow programmers to specify the separation of cross-cutting concerns in a program such that a static analysis can verify that the implementation correctly separates the code for these concerns.
- MultiJava, an extension to the Java Programming Language that adds open classes and multiple dispatch, and
- JML, a behavioral-interface specification language for Java.
Site Technology
This web site is designed using XHTML 1.0 and CSS2. While both of these technologies have been standardized for years (XHTML 1.0 since 2000, CSS2 since 1998), browser support is still a bit spotty. I highly recommend using the latest version of your favorite browser, not just for this site, but as a general guideline. I have used a subset of CSS2 that works on the browsers to which I have access. If this site does not seem to display correctly on your browser, please let me know what browser and operating system you are using and in what way the display seems wrong. (You might let your browser provider know as well.)
Thanks,
– Curt
Page last modified Friday, December 24, 2004.