Graduate Theses Supervised

Jenna Wiens, Machine Learning for Patient-Adaptive Ectopic Beat Classification , MS.., MIT, April 2010.

Eugene Shi, Reducing the Computational Demands of Medical Monitoring Classifiers by Examining Less Data , Ph.D.., MIT, January 2010.

Ali Shoeb, Application of Machine Learning to Epileptic Seizure Onset Detection and Treatment , Ph.D.., MIT, September 2009.

Zeeshan Syed, Computational Methods for Physiological Data , Ph.D.., MIT, August 2010.

Irene Fan, A Collaborative Video-Conferencing System for Improving Care During Neonatal Transport , M.Eng.., MIT, May 2009.

Phil Sung, Risk Stratification By Analysis of Electrocardiographic Morphology Following Acute Coronary Syndromes , M.Eng.., MIT, December 2008.

Jennifer Carlisle, Tavarua: A Mobile Telemedicine System Using WWAN Striping , MS., MIT, May 2007.

Daniel Leeds, Assisted Auscultation: Creation and Visualization of High Dimensional Feature Spaces for the Detection of Mitral Regurgitation , M.Eng., MIT, May 2006.

Godfrey Tan, Improving Aggregate User Utilities and Providing Fairness in Multi-rate Wireless LANs , Ph.D., MIT, October 2005.

Qureshi, Asfandyar, Flexible Application Driven Network Striping Over Wireless Wide Area Networks, M.Eng., MIT, February 2005.

Faulkner, Edward, Interactions Between TCP and Link Layer Protocols on Mobile Satellite Links, M.Eng., MIT, September 2004.

Garg, Deepali, A Tool for Hemodynamic Data Analysis, M.Eng., MIT, May 2004.

Yi, Gina, A Software Toolkit for Acoustic Respiratory Analysis, M.Eng., MIT, May 2004.

Shoeb, Ali, Patient-Specific Seizure Onset Detection, M.Eng., MIT, September 2003.

Gift, Jason A., Carotid Collar: A Device for Auscultory Detection of Carotid Artery Stenosis, M.Eng., MIT, August 2003.

Syed, Zeeshan H., MIT Automated Auscultation System, M.Eng., MIT, May 2003.

Tan, Godfrey, Self-organizing Bluetooth Scatternets, SM Thesis, MIT, Jan 2002.

Welborn, Matthew, Flexible Signal Processing Algorithms for Wireless Communications, Ph.D., MIT, May 2000.

Rao, Sunil, An Architecture for Adaptable Wireless Networks, M.Eng., MIT, May 2000.

Evans, David, Policy-Directed Code Safety, Ph.D., MIT, February 2000.

Vasconcellos, Brett, Parallel Signal Processing for Everyone, M.Eng., MIT, December 1999.

Twyman, Andrew, Flexibile Code Safety for Win32, M.Eng., MIT, May 1999.

Chiu, Andrew, Adaptive Channels for Wireless Networks, M.Eng., MIT, May 1999.

Wu, Chia, A Software 8-VSB Receiver for ATSC Digital Television, M.Eng., MIT, May 1999.

Bose, Vanu, Virtual Radios, Ph.D., M.I.T, February 1999.

Wetherall, David, An Extensible Network Architecture, Ph.D., M.I.T., December 1998.

Johnson, Ed, A Protocol for Network Level Caching, M.Eng., May 1998.

Santos, Jonathan, Reducing the Network Load of Replicated Data, M.Eng., MIT May 1998.

Houh, Henry, Building Networks for Tomorrow’s Traffic, Ph.D., MIT, January 1998.

Murphy, David, Building an Active Node on the Internet, M.Eng., MIT, May 1997.

Stata, Raymond, Modularity in the Presence of Subclassing, Ph.D., M.I.T., May 1996.

Leeb, Angelika,  A Flexible Object Architecture for Component Software, S.M., May 1996.

Risacher, Sheryl, Building an Intelligent Tutoring System for the T-37B Flight Manual, M.Eng., May 1996.

Sarma, Sahana, Using Knowledge-Based Program Transformation to Develop Radio Software, M.Eng., M.I.T., May 1996.

Grossman, Brian, An Algebraic Tutoring System, M.Eng., M.I.T., February 1996.

Gupta, Neeraj, Analyzing Compute-Intensive Software Performance, M.S., M.I.T, May 1995.

Crandall, William, Metrics for Measuring the Value of Computer Integrated Manufacturing (CIM) Systems, M.S., M.I.T., May 1994.

Evans, David, Using Specifications to Check Source Code, M.S., M.I.T., May 1994.

Seto, Roy, Static Conformance Checking for Matrices, M.S., M.I.T., May 1994.

Tan, Yang Meng, Using Specifications to Develop Interfaces, Ph.D., M.I.T., May 1994.

Chew, Chee, Creator, An Interactive Application Builder, M.S., M.I.T., May 1993.

Reinhold, Mark, Cache Performance of Garbage-Collected Programming Languages, Ph.D., M.I.T, September 1993.

Vandevoorde, Mark, Exploiting Specifications to Improve Performance, Ph.D., M.I.T, September 1993.

Jackson, Daniel, Aspect: A Formal Specification Language for Detecting Bugs, M.I.T., June 1992.

Duran, Randall, Reengineering Using a Data Abstraction-Based Specification Language, September 1991.

Shang, William, A Hierarchical Equational Language with Semantic Checking, (September 1989)

Jackson, Daniel, Composing Data and Process Descriptions in the Design of Software Systems, May 1988.

Yelick, Katherine, Using Abstraction in Explicitly Parallel Programs, December 1990.

Zachary, Joseph, A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm,M.I.T., July 1987.

Vandevoorde, Mark, Parallel Compilation on a Tightly-Coupled Multiprocessor, May 1987.

Hinman, David, On the Design of Larch Interface Languages, January 1987.

Yelick, Katherine Anne, A Generalized Approach to Equational Unification, August 1985.

Forgaard, Randy, A Program for Generating and Analyzing Term Rewriting Systems, September 1984.

Kownacki, Ronald, Semantic Checking of Formal Specifications, June 1984.

Wing, Jeannette, A Two-Tiered Approach to Specifying Programs, M.I.T., May 1983.

Schaaf, Richard, The Design of an Integrated and Incremental Environment for Software Development, May 1983.

Zachary, Joseph, A Syntax Directed Tool for Constructing Specifications, March 1983.

Srivas, Mandayam, Synthesizing Implementations for Abstract Data Types From Their Algebraic Specifications, M.I.T., January 1982.

Atreya, Sriram, Formal Specification of a Specification Library, May 1982.

Wells, Alan, Type Inference in Strongly Typed Languages, June 1981.

Nyberg, Karl, A Methodology for Using Algebraic Specifications, June 1981.