I am a software engineer at the Climate & Global Dynamics (CGD) Laboratory of NCAR. I received my Ph.D. in Civil Engineering from North Carolina State University under the direction of Dr. John Baugh. At NCAR, I lead the software engineering efforts to develop, maintain, and evaluate the ocean model components of the Community Earth System Model (CESM), a state-of-the-art climate model. I also serve as the CESM Ocean Modeling Working Group software liaison. My areas of interest include ocean modeling, formal methods, and high-performance computing.

As a scientific software developer, I have a strong passion to devise and apply formal methods, i.e., mathematically rigorous techniques for the specification and verification of software, as reflected in my publication record, talks, and program committee services.

My contact information: link


  • National Center for Atmospheric Research, Boulder, CO
    • Software Engineer III – (Jan 2022 - present)
    • Software Engineer II – (May 2017 - Jan 2022)
  • North Carolina State University, Raleigh, NC
    • Research Assistant – (May 2011 - May 2017)


  • North Carolina State University, Raleigh, NC
    • Ph.D. in Civil Engineering. Formal Program: “Computing and Systems”1(Dec 2016)
    • M.S. in Civil Engineering. Formal Program: “Computing and Systems” – (Dec 2012)
  • Istanbul Technical University, Istanbul, Turkey
    • B.S. in Civil Engineering. – (June 2010)
  1. The Computing at Systems program at NCSU is one of the few in the country, includes about a dozen faculty members, and has both academic and research components, along with a full suite of courses. Research and instruction topics include software engineering, parallel and distributed processing, mathematical modeling and optimization methods, numerical methods, simulation and scientific computation, decision support systems, data science, and others.