Tomas Skrivan
Dynamics Developer at SideFX Software
Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolTomas Skrivan is a Dynamics Developer with 12 years of experience at the intersection of physics, mathematics, and computer graphics, currently contributing to SideFX Software. His background blends academic research—doctoral work in physics simulation and a research fellowship building a scientific computing and ML library using an interactive theorem prover—with production experience at Weta Digital and SideFX. Tomas brings deep numerical methods and simulation expertise informed by a strong mathematical foundation (MSc in Mathematical Modelling) and hands-on engineering across research and industry. He is particularly interested in rigorous, provable approaches to simulation and enjoys translating formal methods into practical, high-performance tooling for graphics and scientific computing.
12 years of coding experience
2 years of employment as a software developer
Master's degree, Mathematical Modelling in Physics and Technology, Master's degree, Mathematical Modelling in Physics and Technology at Charles University
Github Skills (119)
agda10
windows10
realms10
cpp10
scientific-computing10
dependent-types10
in-progress10
computer-algebra-system10
homotopy-type-theory10
symbolic-computation10
mathematics10
theorem-proving10
proof-assistant10
computer-algebra10
ndarray10
Programming languages (9)
Github contributions (5)
lecopivo/HouLean
Apr 2022 - Oct 2022
Contributions:34 commits, 30 pushes, 2 branches in 5 months
lecopivo/wolfram-mode
May 2016 - Jul 2021
Emacs editing mode for Mathematica and inferior shell.
Contributions:1 PR, 9 pushes, 1 comment in 5 years 2 months
emacsmathematicawolfram-languageeditingshell
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.