Student | Degree |
Maria Coelho |
PhD Dissertation: Event-driven Operation of Distributed Systems with
Artificial Intelligence Technologies and Behavior Modeling Degree: PhD in Civil Systems, May 2022. First Position: MBSE Research Scientist, Idaho National Labs |
Sachraa Borjigin |
PhD Dissertation: Multi-Domain Semantic Models and Reasoning for
Safety-Critical Urban Operations Degree: PhD in Civil Systems, May 2022. First Position: Postdoc at University of Michigan |
Zebo Peng |
MS Thesis: Semantic Modeling and Control of Water Supply Networks Degree: MS in Civil Systems, May 2020. |
Joel Abraham |
MS Thesis: Semantic Foundations for Formalizing Brain Cancer Profiles
( pdf ) Degree: MS in Systems Engineering, April 2019. Employment: Northrop Grumman |
Amar Krishna (co-advised with Adnindo Roy) |
MS Thesis: Development of a Novel Visual Interactive Task for Robot-Assisted Gait Training in Stroke Degree: MS in Systems Engineering, April 2018. |
Parastoo Delgoshaei |
PhD Dissertation: Semantic Models and Reasoning for Building System Operations: Focus on Knowledge-Based Control and
Fault Detection for HVAC Degree: PhD in Civil Systems, November 2017. First Position: Research Engineer, NIST |
Jessica Knizhnik (co-advised with Craig Carignan) |
MS Thesis: A Graph Transformation Method for Robotic Satellite Servicing Down-Selection
( pdf ) Degree: MS in Systems Engineering, November 2017. Employment: Systems Engineer, NASA Goddard Space Flight Center |
Edward Zontek-Carney |
MS Thesis: Framework for Linking Ontology Objects and Textual Requirements
( pdf ) Degree: MS in Systems Engineering, May 2017. Employment: Systems Engineer, Northrop Grumman |
Maria Coelho |
MS Thesis: Distributed System Behavior Modeling of Urban Systems with Ontologies,
Rules and Message Passing Mechanisms ( pdf ) Degree: MS in Civil Engineering, May 2017. Matriculated: Ph.D. Program in Civil Systems |
Leonard Petnga |
Ph.D. Dissertation: Model-Based System Integration for Cyber-Physical Systems Degree: Ph.D. in Civil Engineering, November 2016. First Position: Assistant Professor, University of Alabama, Huntsville |
Kayla Gaydosh (co-advised with John MacCarthy) |
Scholarly Paper:
The Art of Reliability Translation from Operational Thresholds to Contract Design Specifications Degree: MS in Systems Engineering, August 2015. Employment: Department of Defense |
Eddie Tseng |
MS Thesis: Parametric Modeling and Architecture-Energy Assessment of Building Floorplans
( pdf ) Degree: MS in Systems Engineering, May 2015. Employment: Software Engineer, Amazon, Seattle. |
Qianli (Shally) Deng |
Scholarly Paper: Importance Sampling: Promises and Limitations Degree: MS in Scientific Computation, December 2014. Matriculated: Ph.D. Program in Civil Engineering Employment: Applied Scientist, Amazon, Seattle. |
Alan Nguyen |
Scholarly Paper: Computational Modeling for City System-of-Systems Simulation and Management
( pdf ) Degree: MS in Systems Engineering, May 2014. Employment: Booz Allen Hamilton |
Peter Linnehan |
Scholarly Paper: Systems Engineering Design and Tradeoff Analysis with Web Technology
( pdf ) Degree: MS in Systems Engineering, May 2014. Employment: Deloitte, Arlington, VA. |
Andres Arellano |
Scholarly Paper:
Natural Language Processing of Textual Requirements Degree: MS in Systems Engineering, May 2014. Employment: CTO, Government of Chile |
Jonathan Kumi |
Scholarly Paper: The Role of Direct Digital Controls in Commercial Buildings
( pdf ) Degree: MS in Civil Systems, December 2013. Employment: Pepco Energy Services |
Karam Rajab |
Scholarly Paper: HVAC System Component-based Modeling and Implementation
( pdf ) Degree: MSSE in Systems Engineering, May 2013. Employment: Sabic , Saudi Arabia |
John McGahagan |
Scholarly Paper:
Behavioral Design Patterns and Agile Software Development
( pdf ) Degree: MSSE in Systems Engineering, May 2013. Employment: Booz Allen Hamilton |
Nefretiti Nassar |
MS Thesis: Model-Based Systems Engineering and Tradeoff Analysis with RDF Graphs
( pdf ) Degree: MSSE in Systems Engineering, December 2012. Employment: Northrop Grumman |
Parastoo Delgoshaei |
MS Thesis: Software Patterns for Traceability of Requirements to State Machine Behavior
( pdf ) Degree: MSSE in Systems Engineering, December 2012. Matriculated: Ph.D. Program in Civil Systems |
Matthew Mosteller (co-advised with Reza Ghodssi) |
MS Thesis: An Optical Density Detection Platform with
Integrated Microfluidics for in situ Growth, Monitoring and Treatment of Bacterial Biofilms Degree: MSSE in Systems Engineering, December 2012. Employment: Fish and Richardson , Intellectual Property, Litigation, Technology Law, Washington DC. |
Joseph Johnnie |
MS Thesis:
A Systems Engineering Framework for Metabolic Engineering Experiments
( pdf ) Degree: MSSE in Systems Engineering, November 2011. Employment: Medivators, Texas |
Jason Smith |
Scholarly Paper:
System Modeling Examples using Higraph Formalisms
( pdf ) Degree: MSSE in Systems Engineering, August 2007. Employment: US Coast Guard |
Rowin Andruscavage |
MS Thesis:
Archology-Inspired Modeling of Transportation/Infrastructure Systems Degree: MSSE in Systems Engineering, June 2007. Employment: SAIC |
Cari Bever |
MS Thesis:
Methodology and Software Prototype for Ontology-Based Traceability
Mechanisms (pdf file pending patent clearance) Degree: MSSE in Systems Engineering, December 2006. Employment: Raytheon, Rhode Island |
Kevin Luft |
Scholarly Paper:
Multidisciplinary
System Design Optimization
( pdf ) Degree: MSSE in Systems Engineering, August 2006. Employment: Genentech, Bay Area, CA |
Kevin Fogarty |
MS Thesis:
System Modeling and Traceability Applications of the Higraph Formalism
( pdf ) Degree: MSSE in Systems Engineering, May 2006. Employment: MITRE. |
Colby Raley |
MS Thesis:
Development of Requirements to Incorporate Neurophyiological Measures
in Human-Computer Interface Design
( pdf ) Degree: MSSE in Systems Engineering, December 2005. Employment: Digital Advisor, Microsoft, Wellington, New Zealand. |
Nazanin Pourfarhani |
MS Thesis:
Modeling, Validation and Verification of Concurrent
Behaviors in the Panama Canal System using LTSA and UPPAAL
( pdf ) Degree: MSSE in Systems Engineering, May 2005. Employment: System Engineer at Bayer Pharmaceuticals |
Rob Sebastianelli |
Ph.D. Dissertation:
Symbolic and Numerical Solutions of Modified Bang-Bang
Control Strategies for Performance-Based Assessment of Base-Isolated Structures
( pdf ) Degree: Ph.D. in Civil Engineering, May 2005. Employment: Director, Booz Allen Hamilton |
Rajeshree Varangaonkar |
MS Thesis:
Intelligent Sensor Networks for Security of Buildings. Degree: M.S. in Systems Engineering, December 2004. (co-advised with John Baras) |
Vikas Malla |
Scholarly Paper:
Survivable Systems: A Systems Engineering Approach Degree: M.S. in Systems Engineering, December 2004. Employment: Project Manager, Appian Corporation, Tysons Cnr, VA. |
Adrian Marsh |
Scholarly Paper:
Visualizing Verification ( pdf ) Degree: M.S. in Systems Engineering, May 2004. Employment: Systems Engineer, US Army. |
Deep Saraf |
Scholarly Paper:
Applying Systems Engineering Principles to an
Automated Fast Food Ordering System Degree: M.S. in Systems Engineering, December 2003. |
Vimal Mayank |
MS Thesis:
Synthesis of System Architectures from Reusable Component Specifications, Degree: M.S. in Systems Engineering, August 2003 (co-advised with John Baras) Employment: Systems Engineer, GMAC Insurance, Winston-Salem NC. |
Aastha Verma |
Scholarly Paper: Customer Relationship Management (CRM):
Achieving Success from the Inside Out, Degree: M.S. in Systems Engineering, August 2003. Employment: Co-host of Darshan TV . |
Vijay Krishnamurthy |
Scholarly Paper: Interchange Format for Symbolic Building Design Degree: M.S. in Systems Engineering, August 2003. |
Chaitanya Deogade |
Scholarly Paper:
Feasibility Assessment of VDM-SL for Elevator Simulation/Control, Degree: M.S. in Systems Engineering, January 2003. |
Brian Poskaitis |
Scholarly Paper: Object Modeling and Maritime Operations, Degree: M.S. in Systems Engineering, May 2002. Employment: US Coast Guard |
Scott Selberg |
MS Thesis: Requirements Engineering and the Semantic Web, Degree: M.S. in Systems Engineering, May 2002. Employment: Agilent, Santa Rosa, CA. |
Vasilios Lagakos |
Scholarly Paper:
Synthesis of Object Models for Management of Narrow Passageways, Degree: M.S. in Systems Engineering, May 2001. |
Wane-Jang Lin |
Ph.D. Thesis:
Modern Computational Environments for Seismic
Analysis of Highway Bridge Structures, Degree: Ph.D in Civil Engineering, December 1997. Employment: Chief Engineer, Maryland Transit Administration |
Steve Creighton |
M.S Thesis:
FInite Element Processor for Bridge Design, August, 1990. Ph.D. : Mechanical Engineering, University of Michigan, 2003. Employment: Assistant Professor, US Military Academy, West Point, NY. |