I am a Computer Scientist at the Center for Applied Scientific Computing (CASC) at the Lawrence Livermore National Laboratory (LLNL), California. My main area of research is high-performance computing (HPC); my main sub-area of research in HPC is programing models and systems. I’m particularly interested in program analysis, software correctness, testing, debugging, emerging programming models, and fault tolerance. I develop practical tools that allow scientific programmers improve the reliability, correctness, and accuracy of their codes. To develop these tools, I usually rely on compiler instrumentation, low-level binary instrumentation, static analysis, dynamic analysis, and machine learning. I co-organize the International Workshop on Software Correctness for HPC Applications (Correctness), which has been held at SC for several years. I’m the recipient of the ACM/IEEE-CS George Michael Fellowship in 2014, the Better Scientific Software (BSSw) Fellowship in 2019, and the Hans Meuer Award for best research paper at ISC’19. I’m an IEEE Senior Member.


  • Ph.D. Computer Engineering, Purdue University, West Lafayette, IN, USA, 2012
  • M.Sc. Computer Engineering, Purdue University, West Lafayette, IN, USA, 2008
  • B.Sc. Electronics & Comm. Engineering, Universidad de Panama, Panama, Panama, 2002

Honors & Awards

  • Best Paper Award at IWOMP’20
  • Hans Meuer Award for Best Paper at ISC’19
  • Better Scientific Software (BSSw) Fellow
  • IEEE Senior Member
  • R&D 100 Award Finalist (PRUNERS toolset)
  • LLNL Spot Award (for building effective software bug isolation tools)
  • LLNL Outstanding Mentor Award
  • ACM & IEEE George Michael Memorial HPC Fellow