| Home | alperaltuntas.com |
| https://alperaltuntas.com This is my personal website. Alper Altuntas. I work at the National Center for Atmospheric Research (NCAR) as a software engineer. My research interest are high performance computing ocean modeling and the application of format methods on scientific computing applications. Some keywords: climate modeling scientific computing computational science formal methods formal verification model checking theorem proving Fortran C++ Python SPIN Alloy KeYmaera z3 z3py |  |
For a limited time, sign up to our Starter Plan for $4.99 a month to unhide all information about the company.