Research Computer Scientist -
NASA Ames Research Center: 09/2008 to present
NASA Langley Research Center: 11/2003 to 09/2008
- Conduct research projects to develop formal verification methods for
the design and analysis of advanced future aircraft and spacecraft
- Develop formal models (models expressed in mathematical logic)
of system requirements, algorithms, designs, and implementations.
- Develop formal mathematical proofs that system requirements,
designs and/or implementations satisfy their safety and performance
requirements using theorem proving, model checking and other techniques
of automated reasoning and deduction.
- Develop methods, tools, and approaches to make the formal
verification process practical, efficient, and cost effective utilizing
expertise in formal methods, mathematical logic, software safety, and
software engineering. The problem domains under investigation include
air traffic management, fault-tolerance, real-time operating systems,
- Manage programs associated with these work areas.
- Serve as civil servant technical expert with specific authority granted by the Contracting Officer to fulfill responsibilities associated with managing research contracts for NASA. These COTR responsibilities include, but are not limited to:
- Evaluate research proposals
- Aid in requirements determination
- Provide technical expertise to selection/award/contract modification process
- Judge/monitor quality of research deliverables
- Currently COTR for:
- 2010-2013 NRA Contract No NNA10DE60C on "Compositional Verification for Flight Critical Systems," awarded to CMU under subtopic B.6 Verification and Validation of Flight Critical Systems (VVFCS1) to the NASA Research Announcement NNH09ZEA001N-VVFCS1
- SBIR 2011 Phase 1 proposal A1.20-9873 "Emile: The EventML Explorer" Odyssey Research Assoc, Inc. DBA ATC-NY
Computer Science Teaching Assistant -
08/2004 to 12/2005
Provide teaching assistance to professors for analysis of algorithms
and discrete mathematics courses. Responsibilities include grading
work, holding office hours, and providing one-on-one help to students.
Computer Systems Analyst -
Lockheed Martin Space Operations, NASA Langley Research Center
05/2001 to 11/2003
- Analyze scientific problems for the development of data analysis and
database applications for acoustic field and laboratory research.
- Systems integration architecture and programming for the
Tilt-Rotor Aeroacoustics Code (TRAC) system for aeroacoustic flight
data prediction, including design of the installation system and human
- Write aerospace engineering data processing and analysis code
for acoustic data in a variety of programming languages including C,
C++, Perl, Java, shell scripting, Fortran, Matlab.
- Develop complex algorithms for processing and analysis of
Particle Image Velocimetry (PIV) data sets including: center of
vorticity, center of swirl, circulation, core size, average flow, and
- Analyze hotwire test data from grid-turbulence tests including
mean, standard deviation, turbulence intensity, skewness, kurtosis, and
autocorrelation to help develop better techniques for simulation
- Develop algorithms to determine the orientation of a vortex axis
and re-orient measured PIV velocity maps via projections using either
axial velocity or swirl velocity.
- Design, develop and maintain a web site and web-accessible
database including web-based software for real-time data processing,
visualization, and data mining using perl cgi scripting, shell
scripting, java scripting, HTML with a focus on software quality,
reliability, and maintainability.
- Software system verification and assessment.
- CVS repository setup and maintenance.
- Use NetCDF libraries in Perl and C, Tecplot, Matlab, LaTeX, Gimp, Imagemagik, StarOffice, Xfig, gnuplot.
- Apache server administrator and webmaster.
- System administrator for 1 Compaq Alpha, 3 Linux workstations,
co-administrator for additional systems. Responsible for system set-up
including hardware, software, maintenance, and security.
- Programming for a range of operating systems including: Linux, Tru-64 Digital Unix, SunOS,
Solaris, AIX, IRIX64, HPUX.
Computer Science Laboratory Instructor -
The College of William and Mary
08/2000 to 05/2001
Instruction of Microsoft Windows 2000, Eudora Pro, and the MS Office
2000 application suite, including Word, PowerPoint, Excel, and Access.
Gave a weekly presentation on the software the class was expected to
learn and then aided students in completing a series of tasks in the
Systems Programmer -
Pragati Synergetic Research, Inc.
05/2000 to 09/2000
Java programmer and designer for the Multi-Viewpoint Clustering
Analysis (MVPCA) tool to deliver a version of this GUI expert system
for a DARPA contract. Contributions included expanding algorithms for
knowledge representation and human computer interaction. Prepared
slides, technical documentation, and gave software demonstrations in
support of a conference presentation.
Follow-up Manager -
The Apartment Connection
06/1996 to 01/2000
Responsible for managing follow-up (including training and coordinating
the efforts of a group of 2-5 people), installation and technical
support for both hardware and software (Windows NT server, Microsoft
Access and Excel, SQL), Internet advertising, desktop publishing,
presentation design, invoicing, researching and revising Washington
Ph.D., Computer Science
advisor: Moshe Y. Vardi
The College of William and Mary,
M.S., Computer Science
advisor: Paul K. Stockmeyer
The College of William and
Mary, Magna Cum Laude
B.S., Computer Science
Lake Braddock Secondary School, Valedictorian
Advanced Studies Diploma with Governor's Seal for Academic Excellence
- SysML 101 at NASA Ames Research Center (9/25/12)
- NASA COTR (Contracting Officer's Technical Representative) Certification Full Course (3/29/10 - 4/2/10)
- Mathworks Symposium: "Adopting Model-Based Design within Aerospace and Defense" (3/16/10)
- Attendee at the 2006 Federated Logic Conferences (FLoC)
- Long-term participant in the Programme on Logic and
Algorithms at the Isaac
Newton Institute for Mathematical Sciences (INI) at Cambridge University
(01/06 - 07/06)
- Unclassified Graduate Student, Pembroke CollegeCambridge University, Cambridge, UK, (01/2006-07/2006)
- Marktoberdorf formal methods school on Logical Aspects of Secure Computer Systems (8/2-14/05)
- Lipari School on Formal Methods: Theory and Practice (7/10-23/05)
- Third NASA-Goddard/IEEE International Workshop on Formal Approaches to
Agent-Based Systems (FAABS III), Goddard Space Flight
Center, Greenbelt, Maryland, USA (4/26-27/04)
- NASA Formal Methods Workshop (10/22-23/03)
- Advanced Programming Techniques in Matlab (6/18/03)
- Matlab Fundamentals and Programming Techniques (6/10-14/03)
- NASA Airframe Noise Workshop (10/22-23/02)
- NASA Engineering Training (NET) Aeronautics Workshop (6/10-13/02)
- Unclassified Graduate Student, Computer Science/Physics, The College of William and Mary,Williamsburg, Virginia (08/2001-12/2003)
Licenses and Certifications:
NASA COTR (Contracting Officer's Technical Representative) Certification
United States Government Secret Security Clearance (currently inactive)
Brainbench Certification: Linux Administration (General)
Selected publications are listed here
Honors, Awards, and Special Accomplishments:
- 2002 Howard Hughes Award from the American Helicopter Society for
contributions to the automation, capability for version control, and
flight data organization for validation of the NASA TiltRotor
Aeroacoustics Code (TRAC) as a part of the development team (6/12/02)
- 2002 NASA Group Achievement Award as a member of the TRAC System and Analysis Team (7/12/02).
- Lockheed Martin Space Operations Lightning Award (10/24/02)
Selected awards won during university studies:
English and French (conversational, not fluent)