Michaël Petrov
Software Engineer at Red Hat
Antibes, Provence-Alpes-Côte d'Azur, France
Summary
👤
Senior🎓
Top SchoolMichal Petrov is a systems specialist and data scientist with 13 years of cross-disciplinary experience turning complex scientific problems and large datasets into actionable insights. Trained as an RNDr. in molecular biophysics from Masaryk University, he blends deep domain knowledge with practical skills in DAX, SQL and scripting to support analytics and backend systems. His open-source contributions span both backend (WildFly application server core) and frontend (PatternFly UI), showing comfort across the stack and attention to robustness and usability. Recent roles range from biological application development and academic research to enterprise data analysis and systems work for a national rail operator, reflecting adaptability and a knack for translating research-grade methods into production environments. Notably, his contributions to WildFly addressed low-level runtime validation and configuration edge cases—an indication of careful, systems-minded engineering beyond typical data work.
13 years of coding experience
21 years of employment as a software developer
Master of science, Computer Science, Master of science, Computer Science at Peter the Great St.Petersburg Polytechnic University
English, Russian, French, Spanish, Italian
Stackoverflow
3,874reputation
142kreached
266answers
0questions
jsf
top-1%
Github Skills (33)
application-server10
back-end-development10
appserver10
css10
jboss10
java10
security10
servlet10
javas10
front-end-development10
jsf10
wildfly10
html10
xml10
lessc10
Programming languages (6)
Github contributions (5)
wildfly/wildfly
Jan 2016 - Mar 2025
WildFly Application Server
Role in this project:
Back-end Developer
Back-end DeveloperContributions:20 reviews, 30 PRs, 56 comments in 9 years 3 months
Contributions summary:Michaël contributed to the WildFly Application Server by addressing several issues and implementing enhancements. They added a validator to the default-timeout definition within the transaction subsystem. The user also fixed response formats and addressed conflicts related to SSL configuration within the mod_cluster extension. Furthermore, they improved servlet metrics and fixed code to prevent the use of default platform-dependent encoding.
javawildflydockerapplication-server
wildfly/wildfly-core
Feb 2017 - Nov 2022
The core runtime that is used by the WildFly application server
Role in this project:Back-end Developer
Back-end DeveloperContributions:26 reviews, 19 commits, 36 PRs in 5 years 9 months
Contributions summary:Michaël contributed to the core runtime of the WildFly application server by addressing JDBC realm validation, adding validation for nested attributes, and implementing alias-filter functionality in key-manager configuration. They also fixed issues related to ensuring unique names for default formatters and handling undefined values within the io subsystem. Furthermore, the user addressed runtime issues with secret-key-credential-store and made improvements to the deployment repository.
wildflymavenruntimerundeckweblogic
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.