Ana Pantilie
Senior Haskell Engineer at Input Output (IOHK)
Ilfov, Romania
Summary
🤩
Rockstar🎓
Top SchoolAna Pantilie is a Senior Haskell Engineer with seven years of experience building language tools and back-end systems, currently working at Input Output (IOHK) from Romania. She combines deep expertise in Haskell with a strong interest in formal methods and programming language theory, reflected in her contributions to the K Framework where she implemented parsing for new language constructs and symbolic equality checks for the Haskell backend. As former Haskell Team Lead at Runtime Verification and ongoing Teaching Assistant in Functional Programming at the University of Bucharest, she blends hands-on engineering leadership with academic mentorship. Her background spans production engineering (including a stint in DevOps at Oracle) and research-oriented tool development, making her comfortable at the intersection of correctness, performance, and developer ergonomics. Colleagues can expect rigorous, theory-informed solutions and a track record of shipping core framework changes and documentation that improve language tooling.
7 years of coding experience
5 years of employment as a software developer
Master's degree, Computer Software Engineering, Master's degree, Computer Software Engineering at University of Bucharest
English, Romanian, German
Github Skills (5)
parsing10
parse10
symbolic-execution9
documentation6
testing6
Programming languages (10)
Github contributions (5)
runtimeverification/k
Jun 2019 - Jul 2022
K Framework Tools 7.0
Role in this project:
Back-end Developer
Back-end DeveloperContributions:144 reviews, 11 commits, 22 PRs in 3 years 1 month
Contributions summary:Ana primarily contributed to the K Framework tools, focusing on core functionality and language features. They implemented and refined parsing for new language constructs, specifically related to "weakExistsFinally" and symbolic equality checks for the Haskell backend. Furthermore, the user added and subsequently reverted symbolic implementation and made documentation updates within the framework. These contributions involved modifying core K framework files and tests.
edaframeworkdataflow-programmingtlaplus
ana-pantilie/kore
Mar 2019 - Dec 2020
Contributions:1883 pushes, 185 branches in 1 year 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.