NASA Logo, National Aeronautics and Space Administration

I am a research scientist with the Robust Software Engineering Group in the Intelligent Systems Division (Code TI), at NASA Ames Research Center, working as a rover software engineer on the NASA Resource Prospector mission.

Research Topics

  • Artificial Intelligence.
  • Logic-based automated reasoning.
  • Automated analysis of safety and mission critical systems.
  • Reliable autonomous systems.
  • Vulnerability analysis of software systems.

Publications

Most of my publications can be found online:

Service

  • NSF Panel 2016
  • Program chair for NASA Formal Methods 2017
  • General chair for VSTTE-2016
  • Local chair for CAV 2015
  • Program chair : CAV-2015 Artifact Evaluation.
  • PC: HCVS-2016, AVOCS-2014, ASE-TOOLS-2014, VSTTE-2014, ISSTA-2014 Artifact Evaluation.
  • Reviewer for: CAV, ISSTA, TACAS, ASE, AVOCS, CADE, VMCAI, FMCAD.

profile pic

Contact

Address:
Bldg 269 Room 294
NASA Ames Research Center
Moffett Field CA 94035

Email:
temesghen.kahsaiazene "at" nasa.gov

Links :

+ Research Profile
+ Linkedin Profile

+ NASA Ames
+ TI Home Page
+ RSE Homepage
+ NASA Home Page

First Gov logo
NASA Logo - nasa.gov