Andrew Sackville-West

I am a first year PhD student at Portland State University studying programming languages, formal methods and other thrilling subjects. Currently I am working with the HASP group. At this time I am mostly focussing on course work, but in the Spring of '11 I expect to be working with Mark Jones looking at the use of GADTs for ensuring type safety of languages in a compiler pipeline.

I have a BA in Computer Science Theory from Eastern Washington University with a minor in Mathematics.



If you'd like to reach me, there are a variety of ways. First, my name being relatively uncommon in the USA, you might try a phone book or google.... Otherwise, you can email me at ajs4 (a) {cs,cecs}