Current: I've been a member of
Sun Labs East since 1996. I'm the Principal Investigator of the JavaTM Technology Research Group. Our work
includes (but is not limited to) garbage collection.
Previous: I worked for 6 years at Digital's Systems Research
Center. Most of that time was spent working on Extended
Static Checking. The project has somehow managed to survive my
departure :-) A related project was the Simplify
automated theorem prover.
