Research
My primary research area is programming languages, encompassing
theory, implementation, and design. However, I have collaborated broadly, with
applications in computer architecture, software engineering, large-scale
data processing, and computational fabrication.
For specific work, see
publications and
presentations
For projects and news, see
the UW PLSE group.
Some of my older projects are on other, sometimes
outdated-but-preserved-for-posterity group
pages: Sampa
group, older
plse page, even older WASP
page.
The Rest
I use my Facebook page regularly — if I have met you (including students, colleagues, etc.), please feel free to send me a friend request. My Twitter is mostly puns with occasional substance.
I joined UW CSE longer ago than 74 of 91 (81.3%) other current
faculty members
(reflecting arrivals/departures through January 2022).
A nice alumni-profile
write-up of me from my undergraduate institution, March 2017,
unpacks a few of the random events that led to where I am.
My academic genealogy:
me
|
Greg Morrisett
/ \
Robert Harper Jeannette Wing
| |
Robert Constable John Guttag
| |
Stephen Kleene Jim Horning
| |
Alonzo Church Jerome Feldman
| |
\ Alan Perlis
\ |
\ Philip Franklin
\ /
Oswald Veblen
|
E.H. Moore
|
H.A. Newton
|
Michael Chasles
|
Simeon Poisson
/ \
Joseph Lagrange Pierre-Simon Laplace
| |
Leonhard Euler Jean Le Rond d'Alembert
|
Johann Bernoulli
|
Jacob Bernoulli
|
Nicolas Malebranche
|
Gottfried Wilhelm Leibniz
