- Contact Information:
504 Dunham Lab
Yale School of Engineering & Applied Science
10 Hillhouse Avenue
New Haven, CT 06520-8267
Office: (203) 432-7040
Fax: (203) 432-7481
I am part of the Computer Systems Lab at Yale.
I primarily work on
asynchronous VLSI design
and architecture. I am also interested in a number of
other subjects including concurrency, formal methods,
programming language semantics, information theory, and cognitive systems.
Publications (selected) / News / Bio / CV
My teaching over the years has been in the general area of computer systems.
In terms of why I teach classes the way I do, I like some of the
opinions in EWD 1305.
Prior to moving to Yale, I was on the faculty at Cornell from 1998 to 2016 where
I received the Tau Beta Pi and Cornell Society of Engineers Excellence in Teaching Award (2000), the IEEE Teacher of the Year Award (2001), the Sonny Yau '72 Excellence in Teaching Award (2001), the Michael Tien '72 Excellence in Teaching Award (2004), the Ruth and Joel Spira Excellence in Teaching Award (2005, 2009), the Kenneth A. Goldman '71 Excellence in Teaching Award (2012), and the Cornell Tech Professor of the Year Award (2016). I was named a Stephen H. Weiss Presidential Fellow (2014)—Cornell's highest teaching award—for
"a sustained record of effective, inspiring, and distinguished teaching of undergraduate students."
- For students seeking letters of recommendation
For prospective graduate students
For prospective summer interns
Prior to joining the Yale faculty, I was on the Cornell faculty for 18 years.
The following lists some of my major service activities
Associate Dean for Research,
Associate Dean for Academic Affairs,
Co-Chair (with David Shmoys), Academic Planning Committee for Cornell Tech
Associate Dean for Research and Graduate Studies,
College of Engineering, Cornell
1/2010-6/2010 (interim), 7/2010-6/2012
Member, Technology Transfer Advisory Committee, Cornell
You can find out a bit about
me if you like. Here are some
and poems. Some local FreeBSD
I founded Achronix Semiconductor Corporation,
the multi-GHz FPGA company that is based on asynchronous FPGA technology
developed by my research group (John Teifel's Ph.D. thesis).