Tomáš Mikula

Senior Backend Engineer at QAD Redzone

United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Tomáš Mikula is a Senior Backend Engineer with 12 years of experience building robust, production-ready systems and a strong focus on Scala and functional programming. He has held senior and lead roles at organizations including Barclays and JetBrains and currently contributes at QAD Redzone from the UK. An active open-source contributor, Tomáš has made substantive, performance- and stack-safety-focused contributions to high-profile Scala libraries such as scalaz and cats, and has worked on language and tooling projects like Unison and kind-projector. His background spans DSL/IDE development, bioinformatics data analysis, and low-level library design, giving him a rare mix of applied research and pragmatic engineering. Notably, he has a history of improving stack safety and refactoring core abstractions in functional libraries—work that prevents subtle runtime failures in large codebases. He pairs academic training in computer science with hands-on delivery across fintech, developer-tools, and scientific domains.
code12 years of coding experience
job11 years of employment as a software developer
bookComputer Science, Computer Science at Universität des Saarlandes
bookpart-time Ph.D. student (discontinued) Computer Science, part-time Ph.D. student (discontinued) Computer Science at Charles University
stackoverflow-logo

Stackoverflow

Stats
6,537reputation
517kreached
122answers
12questions
Badges
css
top-5%
svg
top-5%
reactive-programming
top-5%
timer
top-5%
jquery
top-5%
event-handling
top-5%
github-logo-circle

Github Skills (42)

algorithm10
library-design10
algorithms10
programming-language10
rich-text10
text-editor10
typeclass10
compiler-plugin10
scalaz10
javafx10
data-structure10
java10
scala10
type-system10
javas10

Programming languages (7)

JavaOCamlScalaJavaScriptHaskellHTMLRuby

Github contributions (5)

github-logo-circle
FXMisc/RichTextFX

Oct 2013 - Apr 2017

Rich-text area for JavaFX
Role in this project:
userFull-stack Developer
Contributions:16 releases, 499 commits, 50 PRs in 3 years 7 months
Contributions summary:Tomáš appears to be a full-stack developer focused on adding features and improving the functionality of a rich-text area for JavaFX. They contributed by adding source code and build files, modifying the UI/GUI and demo examples, and adding style classes to improve user interaction with the text area. These changes involved a variety of Java-based libraries and frameworks, with particular attention to details like handling line terminators, positioning popups, and implementing correct rendering of the text.
rich-text-editorrich-textjavafxjavarichtext
typelevel/kind-projector

Jun 2017 - Sep 2022

Compiler plugin for making type lambdas (type projections) easier to write
Role in this project:
userBack-end Developer
Contributions:22 commits, 24 PRs, 15 pushes in 5 years 3 months
Contributions summary:Tomáš primarily contributed to the development and maintenance of the `kind-projector` compiler plugin, a Scala-based tool. Their work involved fixing bugs related to type lambda syntax and higher-order placeholder handling. They also made changes to the plugin's internal logic, including the rewrite rules and versioning, and modified the build configuration.
macrosmetaprogrammingcompilercompiler-pluginscala3
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.
Request Free Trial
Tomáš Mikula - Senior Backend Engineer at QAD Redzone