Graduate Thesis Supervision

Wiens, Jenna, Learning to Prevent Healthcare-Associated Infections: Leveraging Data Across Time and Space to Improve Local Predictions, Ph.D. MIT, May 2104.

Gong, Jen, Improving Clinical Risk-stratification Toosl: Instance-transfer for Selecting Relevant Training Data, M.S., MIT, May 2014.

Wang, Michelle, Predictive Ability of Cerebrospinal Fluid Biomarkers in Diagnosing and Evaluating Parksinson’s Disease, Meng, MIT, May 2014.

Brooks, Joel, Discrimination of Alcoholics from Non-Alcoholics Using Supervised Learning on Resting EEG, M.S., MIT, October 2013.

Balakrishnan, Guha, Analyzing Pulse From Head Motions in Video, M.S., MIT, September 2013.

Kharbouch, Alaa, Automatic Detection of Epileptic Seizure Onset and Termination using Intracranial EEG, Ph.D., MIT, March 2012.

Ganeshpapillai, Gartheeban, Methods to Improve the Signal Quality of Corrupted Multi-Parameter Physiological Signals, M.S., MIT, April 2011.

Singh, Anima, Risk Stratification of Cardiovascular Patients Using a Novel Classification Tree Induction Algorithm with Non-Symmetric Entropy Measures, M.S., MIT, February 2011.

Qureshi, Asfandyar, Power-demand Routing in Massive Geo-distributed Systems, Ph.D., MIT, September 2010.

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

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

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

Syed, Zeeshan, Computational Models for Physiological Data, Ph.D., MIT, August 2009.

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

Sung, Phil, Risk Stratification By Analysis of Electrocardiographic Morphology Following Acute Coronary Syndromes, MEng, MIT, January 2009.

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

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

Tan, Godfrey, 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.

Vaconcellos, Bret, 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.

Stasior, Willliam, An Interactive Approach to the Identification and Extraction of Visual Events, Ph.D., MIT, June 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.