Monika Kurovszky
Software Engineer at AdaCore
Grenoble, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolMonika Kurovszky is a seasoned software engineer with eight years at AdaCore and a long track record in compiler and code-generation engineering for industrial and embedded systems. Her background spans designing front- and back-end compiler features, internal representations and optimizations, and producing code generators for C/C++, Ada and PLC targets used in safety-critical and industrial automation contexts. She blends academic rigor—a PhD-level background in control and hybrid systems—with hands-on R&D experience delivering co-simulation and FMI integrations and static-analysis tooling. Known for an agile, collaborative approach, she excels at turning formal language and modeling work into production-ready toolchains. A less obvious strength is her cross-domain experience from real-time railway supervision to avionics assembly-line software, which gives her a practical edge when bridging research, tooling and field deployment.
8 years of coding experience
13 years of employment as a software developer
PhD, Industrial Automation, Robotics, PhD, Industrial Automation, Robotics at Université Joseph Fourier (Grenoble I)Engineering Diploma, Faculty of Automatic Control and Computer Science, Graduated in June 1998, Engineering Diploma, Faculty of Automatic Control and Computer Science, Graduated in June 1998 at Universitatea „Politehnica” din București
French, English, Romanian, hongrois
Github Skills (5)
erlang9
spark4
ada1
api1
spawn1
Programming languages (2)
Github contributions (5)
AdaCore/gnatdashboard
Nov 2017 - Sep 2022
Analyse a project.
Contributions:124 commits in 4 years 10 months
AdaCore/libadalang-tools
Apr 2021 - Jan 2023
Libadalang-based tools
Contributions:79 commits in 1 year 9 months
erlang
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.