Matthew Milano

I'm a first-year graduate student, and currently a TA for CS4410 (operating systems).
I graduated from Brown in 2013 with a degree in Computer Science and Music.
I also have a somewhat-out-of-date website at Brown.

My CV.

Publications:

• Visualization and Analysis Tools for Next-Generation Tokamak Fusion Devices
• Collaborative Scientific Graphics and Web Services
• Collaborative Mathematical Workbench Software

Current Research:

• Research implementation of Python, with the Brown PLT group (to appear in OOPSLA '13)
• Network property verification in NetKAT and z3 with Nate Foster and Rebecca Coombes

Some courses I've developed at Brown:

• Compilers, advised by Pascal Van Hentenryck
• Prof Ugur Cetintemel's Fundamentals of Computer Systems , with Andrew Ayer and David Percy
• Prof Ugur Cetintemel's Fundamentals of Computer Systems (take 2), with Aswin Karambu
• Prof Tom Doeppner's Introduction to Computer Systems With Ryan Roelke, Kelvin Jackson, Nick Gaya, and the hard-working TA staff
• Prof Bernardo Palazzi's Introduction to Computer Systems Security

If you would like to contact me, my email address is listed on my CV - hopefully the spam-bots can't reach it there.

If you want to email me about a specific course I'm staffing, please use csxxxxstaff@cs.cornell.edu, where xxxx is the course number. This address will reach me, any other TAs, and the Professor.

Computer Science
4130 Upson Hall
Cornell University
Ithaca, NY 14853
Office: Upson 4132