Meet the Class, FallSemester, 2013.

Arellano, Andres
Program: Master of Science in Systems Engineering (MSSE)
Project: Automated Validation of Textual Requirements through Natural Language Processing
Barnes, Xenia
Program: Master of Science in Systems Engineering (MSSE)
Project: Sensor-Driven Airport Taxiway and Runway Control
Block, Peter
Program: Master of Science in Systems Engineering (MSSE)
Project: Verification and Validation Methods for a Tactile Sensing Skin System
Dadfarnia, Mehdi
Program: Master of Science in Systems Engineering (MSSE)
Project: TBD ...
Daily, David
Program: Master of Science in Systems Engineering (MSSE)
Project: Co-Simulation of Smart Grid Compatible Residential Facilities
He, Yuyao
Program: Master of Science in Systems Engineering (MSSE)
Project: Verification and Validation of a Five-Axis CNC Milling Center
Linnehan, Peter Joseph
Program: Master of Science in Systems Engineering (MSSE)
Project: Formal Model of a Healthcare Information Exchange
Moschler, Jacob
Program: Advanced Special Student
Project: Air Traffic Collision Avoidance System (TCAS) for Unmanned Aircraft operating
Mu, Ruiqi
Program: Master of Science in Systems Engineering (MSSE)
Project: Validation and Verification of a Railway Temporary Speed Restriction System
Nguyen, Alan
Program: Master of Science in Systems Engineering (MSSE)
Project: Ontology and Rule-Based Modeling of City Connectedness
Vaughn, James
Program: Master of Science in Systems Engineering (MSSE)
Project: Ontology and Rule-Based Modeling of City Connectedness
Zhang, Baozhu
Program: Master of Science in Systems Engineering (MSSE)
Project: Reliability Analysis of Electric Power Systems for More-Electric Aircraft
Chezick, Travis Roy
Program: Engineering Professional Masters Program (ENPM)
Project: Single Tool for Small Systems Engineering Teams
Johnson, Troy Ricardo
Program: Reliability Engineering Program (ENPM)
Project: Platform Design for Commercial Distribution of Rail Vehicle Generated Power
O'Brien, David Matthew
Program: Engineering Professional Masters Program (ENPM)
Project: Formal Verification of Wastewater Treatment Processes
Ohanyerenwa, Chiedo Raymon
Program: Engineering Professional Masters Program (ENPM)
Project: Formal Verification of Wastewater Treatment Processes
Ramadurai, Premalatha
Program: Engineering Professional Masters Program (ENPM)
Project: Verification and Validation of RS232 Standard
Weay, Christopher Garsamba
Program: Engineering Professional Masters Program (ENPM)
Project: Platform Design for Commercial Distribution of Rail Vehicle Generated Power
Mattern, Lydia Marie
Program: Engineering Professional Masters Program (ENPM)
Project: Assessment of Task Completion for Robots Playing Soccer
Brien, Calvin Michael
Program: Engineering Professional Masters Program (ENPM)
Project: Using UPPAAL to Verify Behavior of a Hypernetwork and Hypergraph Model of Baseball
Tucker, Amber
Program: Engineering Professional Masters Program (ENPM)
Project: Using UPPAAL to Verify Behavior of a Hypernetwork and Hypergraph Model of Baseball

Last Modified: September 2, 2013,
Copyright © 2013, Institute for Systems Research, University of Maryland