Principal in the Software Quality Assurance section of the JPL Quality Assurance Office, of the Jet Propulsion Laboratory, California Institute of Technology.

Publications: Publications.html

Technical Interests:

• Technology Infusion
• Increasing the Cost-Effectiveness of  Analysis, Test Automation, V&V, & Design Debugging
• Requirements Engineering and bRisk Management
• Software developer for DDP (a software-supported process for risk-informed decision making): http://ddptool.jpl.nasa.gov)

• Editorial board member of the Automated Software Engineering (Springer)
• Editorial board member of the Requirements Engineering Journal (Springer)
• Editorial board member of the Innovations in Systems and Software Enginering Journal (Springer)
• Member of IFIP Working groups 2.9 - Software Requirements Engineering and (currently a rather inactive member of) 2.1 - Algorithmic Languages and Calculi

---

• 
  17th IEEE International Requirements Engineering Conference, Atlanta, GA, August 31 - September 4, 2009.
  http://www.re09.org/
  (Member of Program Committee).

---

• 
  Third IEEE International COnference on Space Mission Challenges for Information Technology, Pasadena, CA, July 19-23, 2009.
  http://www.smc-it.org/
  (Member of Program Committee).

---

• 
  NASA Formal Methods Symposium 2009, Moffett Field, CA, April 6-8, 2009.
  http://ti.arc.nasa.gov/event/nfm09/
  (Member of Program Committee).

---

• 
  International Conference on Prognostics and Health Management, Denver, CO, October 6-9, 2008.
  http://www.phmconf.org/
  (Reviewer, Poster paper co-author).

---

• 
  16th IEEE International Requirements Engineering Conference, Barcelona, Catalunya, Spain, September 08-12, 2008.
  http://www.re08.org/
  (Member of Program Committee; co-author of a paper accepted for the Industrial Practice and Experience track).

---

• 
  20th International Conference on Software Engineering and Knowledge Engineering, Redwood City, CA, July 1-3, 2008.
  http://www.ksi.edu/seke/seke08.html
  (Member of Program Committee).

---

• 
  PROMISE'08 Workshop, Leipzig, Germany, May 2008.
  http://promisedata.org/2008/CFP.html
  (Member of Program Committee).

---

• 
  IEEE Software
  http://www.computer.org/software/
  (co-author of a paper in the March-April 2008 issue)

---

• 
  Space Technology & Applications International Forum (STAIF-2008), Albuquerque, NM, February 10-14, 2008.
  http://www.unm.edu/~ISNPS/staifhome.html
  (co-author on an accepted paper).

---

• 
  22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, GA, November 5-9, 2007.
  http://www.cse.msu.edu/ase2007/
  (co-author on an accepted paper).

---

• 
  15th IEEE International Requirements Engineering Conference, Delhi, India, October 15-19, 2007.
  http://www.re07.org/
  (Member of Program Committee).

---

• 
  14th Monterey Workshop on Innovations for Requirements Analysis: From Stakeholders Needs to Formal Designs, Monterey, CA, September 10-13, 2007.
  http://fabrice.kordon.free.fr/Monterey2007/home.html/
  (Author of an accepted paper).

---

• 
  ACM Genetic and Evolutionary Computation Conference, GECCO 2007, London, UK, July 7-11, 2007.
  http://www.sigevo.org/gecco-2007/
  (co-author of a poster).

---

• 
  NSF Design Requirements Workshop, Cleveland, OH, June 3-6, 2007.
  (Participant).

---

• 
  1st International Workshop on Aerospace Software Engineering (AeroSE 07), Minneapolis, MN, May 21-22, 2007. http://crisys.cs.umn.edu/icse-workshop/AeroSE07.htm
  (co-author of a paper).

---

• 
  3rd International Workshop on Predictor Models in SE (PROMISE 2007), Minneapolis, MN, May 20, 2007.
  http://promisedata.org/2007
  (Member of Program Committee).

---

• 
  29th International Conference on Software Engineering - Portraits in Practice Minneapolis, May 20-26, 2007. http://web4.cs.ucl.ac.uk/icse07/index.php?id=105
  (committee member)

---

• 
  8th NDIA Science and Engineering Technology Conference, North Charleston, SC, April 17-19, 2007.
  http://www.ndia.org/meetings/7720
  (co-author of a poster - one of the three that received a conference citation).

---

• 
  1st IEEE Computer Society Conference on Exploring Quantifiable Information Technology Yields, Amsterdam, The Netherlands, March 19-21, 2007.
  http://www.cs.vu.nl/equity2007/
  (Member of Program Committee).

---

• 
  IEEE Aerospace Conference, Big Sky, Montana, Mar 3-10, 2007.
  http://www.aeroconf.org/
  (co-author of two papers).

---

• 
  2007 National Aeronautics and Space Administration Expendable Launch Vehicle (ELV) Payload Safety and Mission Success Conference, Santa Barbara, CA, Feb 6-8, 2007. http://www.tisconferences.com/elv/
  (Speaking in Martha Wetherholt's session on Software Assurance and Software Safety).

---

• 
  17th IEEE International Symposium on Software Reliability Engineering, Raleigh, NC, Nov 7-10, 2006.
  http://www.csc2.ncsu.edu/conferences/issre/index.php
  (Co-author on an abstract for the Government Track).

---

• 
  21st IEEE/ACM International Conference on Automated Software Engineering, Tokyo, Japan, Sep 18-22, 2006. http://www.ase-conference.jp/index.html
  (Helped with some reviewing).

---

• 
  14th IEEE International Requirements Engineering Conference, Minneapolis/St. Paul, Minnesota, Sep 11-15, 2006.
  http://www.re06.org
  (Member of Program Committee; co-author of a "Vision" paper at the conference, and a paper accepted for the workshop on Requirements Engineering Visualization: http://swen.uwaterloo.ca/~chpkim/re06).

---

• 
  International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, California, Jul 17-21, 2006. http://smc-it.jpl.nasa.gov/
  (Member of Program Committee; co-author of a paper; session chair).

---

• 
  International Conference on Probabilistic Safety Assessment and management, New Orleans, Louisiana, May 14-19, 2006.
  http://www.psam8.org/
  (co-author of a paper).

---

• 
  30th Annual IEEE/NASA Software Engineering Workshop, Columbia, Maryland, Apr 24-28, 2006. http://www.systemsandsoftwareweek.org/sew.html
  (Member of Program Committee).

---

• 
  IEEE Aerospace Conference, Big Sky, Montana, Mar 11-14, 2006. http://www.aeroconf.org/
  (co-author of three papers).

---

• 
  Annual Reliability and Maintainability Symposium (RAMS), Newport Beach, CA, Jan 23-26, 2006. http://www.rams.org/
  (co-author of a paper).

---

• 
  NASA Annual Risk Management Conference, Orlando, Florida, Dec 6-8, 2005. http://rmc.nasa.gov/
  (Giving demonstrations of our risk tool DDP, and on a panel on Software Risk Approaches).

---

• 
  20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, Nov 7-11, 2005. http://www.ase-conference.org/
  (Member of Program Committee).

---

• First International Forum on Integrated System Health Engineering and Management in Aerospace, Napa, California, Nov 7-10, 2005. http://ti.arc.nasa.gov/projects/ishem/index.php (co-author of a paper).

---

• Space Systems Engineering & Risk Management Symposium, Los Angeles, California, Oct 26-28, 2005. http://www.aero.org/conferences/riskmgmt/ (co-author of a paper).

---

• 2005 IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification and Validation, Columbia, Maryland, Sep 23-24, 2005. http://sttt.cs.uni-dortmund.de/isola2005/ (Member of Program Committee).

---