ÂÜÀòÂÒÂ×

Ana Pantilie

Senior Haskell Engineer at Input Output

Ana Pantilie is a Senior Haskell Engineer at Input Output (IOHK) since October 2023, with a strong background in software engineering and education. Currently serving as a Teaching Assistant at the University of Bucharest, Ana conducts labs in Functional Programming and Foundations of Programming Languages since October 2020. Prior to this role, Ana was the Haskell Team Lead and a Software Engineer at Runtime Verification Inc from November 2018 to August 2023, focusing on the development of the K Framework Haskell backend. Ana began a career in technology as a Junior DevOps Engineer at Oracle for a brief period in 2018. Ana holds a Master's degree in Computer Software Engineering and a Bachelor's degree in Computer Science, both obtained from the University of Bucharest.

Links

Previous companies

Runtime Vеrification logo
Oracle logo

Org chart

Sign up to view 0 direct reports

Get started