Martin C. Rinard

MIT Computer Science and Artificial Intelligence Laboratory
The Stata Center, Building 32-G828
32 Vassar Street
Cambridge, MA 02139
Email: rinard@lcs.mit.edu
WWW Home Page: http://www.cag.lcs.mit.edu/~rinard
Work Phone: (617) 258-6922
Work Fax: (617) 253-1221


I am a Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, and a member of the Computer Science and Artificial Intelligence Laboratory .


Curriculum Vitae

Research

Presentations

Publications


Research


Systems


Teaching


Biographical Sketch

I received the Sc.B. in Computer Science, Magna cum Laude and with Honors, from Brown University in 1984. I spent the next several years working for two startup companies, Ikan Systems and Polygen Corporation. I then entered the Ph.D. program in Computer Science at Stanford University, and received the Ph.D. in Computer Science from Stanford University in 1994. I joined the Computer Science Department at the University of California, Santa Barbara as an Assistant Professor in 1994, then moved to MIT as an Assistant Professor in 1997. I was promoted to Associate Professor in 2000 and Professor in 2006.


Honors and Awards


Current Students, Post-Docs, Research Associates, and Research Scientists


Former Students, Post-Docs, Research Associates, and Research Scientists


Acknowledgement of Research Support

Much of the research that my group does is supported by the Defense Advanced Research Projects Agency under DARPA/AFRL Contract F33615-00-C-1692 and by the National Science Foundation under grants CCR00-86154 and CCR00-63513.


Lecture Notes

I have developed a set of lecture notes for teaching an undergraduate course in operating systems. These notes cover the important basic concepts in operating systems, presented in a sequence suitable for a first course in operating systems.


Including Illustrator and PowerPoint Figures in LaTex Documents

I have written a quick guide to including Adobe Illustrator and Microsoft PowerPoint files into LaTex documents. I hope it saves you some time!