Office:
32-G221
Cambridge, MA, 02139

Contact:
mtkhan[at]csail[dot]mit[dot]edu

Academic Genealogy:
My Mathematical Genealogy
My Academic Ancestors
(until 12th generation)

Bookmarks:
ACM SIGSAM, SC@Waterloo, CA@Ontario, FM-Wiki

Dictionary:
SC - symbolic computation
CA - computer algebra
FM - formal methods