
Technical Staff at MIT Lincoln Laboratory
Greater Boston Area

Technical Staff at MIT Lincoln Laboratory
Greater Boston Area
I work as technical staff at Lincoln Lab, developing air traffic control technology, analyzing software safety analysis, and managing customer requirements.
I recently completed a PhD at MIT in January 2009. At MIT, I studied business requirements analysis in the computer science department (EECS-CSAIL). My research and experience are in figuring out what information is needed to build and analyze requirements, then getting that information out of different kinds of people, with different backgrounds, and different roles in the project or company. Finally, I organize that information in a comprehensible and maintainable structure. I have worked on several medium-scale software-intensive systems, including a working radiation therapy machine at Massachusetts General Hospital and an auditable voting system.
I have small business experience in a board game publishing company. I am in charge of coordinating 30+ external designers with marketing, production, and creative constraints. I also build the overall business process for handling large numbers of projects, to accommodate growth in the company as a whole. I manage a small team of developers, matching them to projects that fit their skills and interests and monitoring their work quality.
air traffic control, requirements engineering, system safety analysis, software safety, developing dependability and certification cases, building maintainable documentation, medical and safety-critical systems, software engineering research, managing business relations with external developers/designers/authors
(Educational Institution; Defense & Space industry)
April 2009 — Present (8 months)
I work in Group 43 on the nextgen air traffic control project. I work on requirements engineering and safety analysis for the TFDM/ADMT project, which concerns computerizing air traffic control technology, unifying them into fewer displays, and providing automatic suggestions and violation detection that is possible with a unified shared database.
(Publishing industry)
June 2007 — Present (2 years 6 months)
Head the board game development division. Coordinate 30+ external designers, evaluate workflow and oranize business process, find solutions to satisfy marking, production, graphic, and creative constraints.
(Educational Institution; Higher Education industry)
2002 — February 2009 (7 years )
Doctoral Research Program. Perform research in Software Design Group (SDG) in the Computer Science and Artificial Intelligence Lab (CSAIL) at MIT.
Thesis committee: Dr. Daniel Jackson, Dr. Ed Crawley, Dr. Rob Miller
(Educational Institution; 10,001 or more employees; Higher Education industry)
2006 — 2006 (less than a year)
6.033: System Engineering, Prof. Babara Liskov, Prof. Frans Kaashoek
(Educational Institution; 10,001 or more employees; Higher Education industry)
2005 — 2005 (less than a year)
6.894: Lightweight Formal Methods, Prof. Daniel Jackson
PhD, SM , Computer Science, Software Engineering, Requirements Engineering , 2002 — 2008
Masters & PhD degrees.
Minor in "Engineering Systems Division".
B.A. , Computer Science, Mathematics , 1998 — 2002
Double Major. 2 Theses written on independent novel research. Collaboration with Dr. Curtis Greene (Mathematics) and Dr. David Wonnacott (Computer Science).
Requirement Engineering, System Analysis, System Safety Engineering, System Certification and Documentation, Complex Systems, Medical Software, Relational Logic, Software Engineering, Human-Computer Interaction, Combinatorics, Engineering Education & Curriculum Design, Board Game Development
MIT, Software Design Group (SDG), Cambridge Games Factory