Michael Šimáček
Senior Researcher at Oracle
Brno, Southeast, Czechia
Summary
🤩
Rockstar🎓
Top SchoolMichael Šimáček is a Senior Researcher and seasoned software engineer with 12 years of experience, currently based in Brno and focused on high-performance language runtimes. At Oracle he has moved from GraalVM developer to senior research roles, contributing practical fixes and performance improvements—most notably to GraalVM's GraalPython and the TRegex engine—and integrating musl's qsort to optimize sorting. His background at Red Hat and advanced CS degrees from Masaryk University underline deep systems and backend expertise across enterprise and open-source projects. Colleagues know him for steady, low-level problem solving that improves stability and startup performance in complex VM ecosystems.
13 years of coding experience
6 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Masaryk University Brno
Czech, English, Japanese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (14)
regular-expression10
javas10
compiler10
compiler-compiler10
graalvm10
java10
python9
data-structure9
algorithm9
data-structures9
truffle9
algorithms9
c178
c118
Programming languages (13)
Github contributions (5)
oracle/graal
Feb 2021 - Sep 2025
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3 comments, 1 issue in 4 years 7 months
Contributions summary:Michael primarily worked on the GraalVM project, focusing on updates and fixes related to the GraalPython component. Their contributions involved modifying imports and versions within the `vm/mx.vm/suite.py` file, likely to keep the GraalPython integration up-to-date. The user also addressed assertion failures and error handling within the TRegex component, suggesting a focus on improving the performance and stability of the regular expression engine within the GraalVM ecosystem. Finally, the user incorporated qsort from musl libc to improve sorting within the project.
graalvmjavaaotcompiler
msimacek/dotfiles
Jun 2016 - Jan 2020
Contributions:73 pushes, 1 branch in 3 years 7 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.