Tomáš Skřivanمشاهده پروفایل
پژوهشگر ارشد
Tomáš Skřivan serves as a Research Fellow at the Hoskinson Center for Formal Mathematics , Carnegie Mellon University. His work bridges formal mathematics with practical scientific computing through the development of the SciLean library in Lean 4, targeting enhanced reliability in machine learning and simulation software. Skřivan's research spans interdisciplinary domains with core emphases on: Physics-based simulation of fluid dynamics and wave phenomena Computer graphics algorithms for light transport and rendering Formal verification techniques applied to numerical methods Mathematical modeling of viscoelastic materials His publication trajectory since 2016 reveals evolving expertise from computational fluid dynamics (water wave simulation, viscoelastic modeling) toward formal methods in scientific computing, consistently merging theoretical rigor with practical implementation. Recent work on SciLean represents a strategic pivot toward verified software foundations. As a key contributor to the Hoskinson Center's mission, Skřivan collaborates on projects leveraging proof assistants to eliminate errors in scientific code. The center, established through Charles Hoskinson's support, pioneers mathematically guaranteed correctness in computational science through formal verification frameworks.













