Work Experience

I have a mixture of industrial and academic work experience. A full collection of references can be found in my vita (available upon request).

I am currently employed as an Assistant Professor in the Computer Science Department at the University of Texas at Dallas.

During the Fall semester of 2002 (September to December) I held an internship at the Microsoft Research facility in Cambridge, England. While there, I worked with Don Syme and Andy Gordon on applying their work on the ILX SDK toolkit (originally created to add Generics to .NET) to creating program-rewriters for the Microsoft .NET Framework. My internship was advised by Luca Cardelli.

Prior to that, I also worked during the summer of 2001 (July to August) at the Microsoft Research facility in Redmond, Washington as a technical consultant. There I studied the internals of the .NET JIT compiler and the load path on Windows .NET systems to research the possibility of adding program-rewriters and other security enforcement mechanisms to .NET-supporting Windows operating systems. My consultantship was advised by Jim Larus.

I also have some academic teaching experience. While at Cornell University I assisted Professor Fred Schneider during the Spring semester of 2004 in running CS513: System Security. Previous to that, I assisted Visiting Professor Tibor Jànosi for two instances of CS381: Introduction to Theory of Computing (Summer 1999 and Summer 2000).