last modified 5/11/2000

Up until September 1999, I was in the Semantics-Based Tools Group and likewise back when everything was the Program Analysis Group.

Prior work includes that on
the AST Toolkit
and the ASTLOG query language,
the VDG program representation,
and a syntactic macro system for C.
For details (particularly those for which no one has gotten around to describing on web pages), I'll point you to my **publications**.

- I received my Ph.D in Computer Science from Stanford University in January 1992, working in the concurrency group, supervised by Vaughan Pratt. My doctoral thesis, Metric Process Models was about modelling concurrency using partial order and enriched-category-theoretic models.
- In 1984, I completed Part III of the Maths Tripos (note for Americans: this is roughly equivalent to the 1st year of a US math graduate program) at Cambridge University on a Winston Churchill Scholarship.
- In 1983, I received my B.A. in Mathematics from Princeton University (they call it an A.B., but they're strange). My bachelor's thesis was on Hurewicz's Theorem and the relation between homotopy and homology groups --- unfortunately this was composed in the dawn of the computer age and thus isn't available online.
- I could probably also tell you about all of the neat things
I did in high school, too, but now we're
*really*getting into the Dark Ages.

Roger Crew <rfc@microsoft.com>, <crew@cs.stanford.edu>

Microsoft Research

One Microsoft Way

Redmond, WA 98052-6399

Voice: +1 (425) 936-2436

FAX: +1 (425) 936-7329