Associate Dean for Academic Affairs, Cornell Tech
- Contact Information:
111 Eighth Avenue #302
New York, NY 10011
Office: (646) 632-4931
Fax: (212) 255-8529
I am currently on sabbatical until January 2015.
Applications are being accepted to graduate programs at Cornell Tech:
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
Technical note: On the (non) existence of bounded time metastability detectors
I am co-teaching CS 5191 (Studio) in Spring 2014, as well as
"Math for Analytics" at Cornell Tech
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.
At Cornell, I've 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), and the Kenneth A. Goldman '71 Excellence in Teaching Award (2012).
- For Cornell students seeking letters of recommendation
For prospective graduate students
For prospective summer interns
The following lists some of my major service activities
Associate Dean for Academic Affairs,
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
Co-Chair (with David Shmoys), Academic Planning Committee for Cornell NYC Tech
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).
Please do not use my former Achronix email address (I won't get the message),
as I am not affiliated with Achronix at this point.