Recent Graduates

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.