I am a member of the Research In Software Engineering (RISE) group, and interested in the design and application of strong type systems, declarative programming, and compiler technology. In particular ...