Tomas Mikula
UI UX Designer (video-games) at INGAME STUDIOS
Olomouc, Czechia
Summary
👤
Senior🎓
Top SchoolTomas Mikula is a Senior UI/UX Designer with 11 years of experience who blends a PhD in Computer Science and Cognitive Psychology with hands-on game and app design to craft player-focused, data-driven interfaces. He has led UI strategy and component libraries for live-service games like Crime Boss: Rockay City and collaborated on Assetto Corsa Rally, pairing Figma-driven systems with Unreal Engine UMG implementation. Equally comfortable in consultancy and academia, he taught user interfaces and Python workflows while contributing to open-source ML tooling—helping migrate CI/CD and improve testing in an IBM neural-symbolic repo. Based in Olomouc, Tomas brings a research-informed design sensibility and a developer's attention to tooling and process, often focusing on clear documentation and reproducible build/test setups that keep teams aligned.
11 years of coding experience
Doctor of Philosophy - PhD, Computer Science and Cognitive Psychology, Doctor of Philosophy - PhD, Computer Science and Cognitive Psychology at Univerzita Palackého v Olomouci
Czech, English
Github Skills (8)
reasoning10
python10
logic10
githubaction-workflow9
github-ci9
machine-learning9
pytorch9
testing8
Programming languages (10)
Github contributions (5)
IBM/LNN
Feb 2022 - Apr 2022
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
Role in this project:
ML Engineer
ML EngineerContributions:15 commits, 10 PRs, 11 comments in 1 month
Contributions summary:Tomas primarily contributed to code style, formatting, and build system configurations, specifically relating to imports, graph plotting, and black formatting. The user also made changes to the testing structure and setup of the project. The user also migrated the project CI/CD from Travis CI to GitHub Actions, and the user has made updates to the testing code.
neuro-symbolic-aimachine-learningaudioneural-symboliclogic
hackovani/hackovani.github.io
Nov 2019 - Nov 2022
Contributions:37 commits, 7 PRs, 40 pushes in 3 years
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.