I'm a mathematician interested in making pretty pictures with beautiful mathematics. My main interest is in physics simulation, computer graphics and numerical methods.

Currently, I'm a research fellow in the Hoskinson Center for Formal Mathematics at Carnegie Mellon University. I'm exploring how formal mathematics can help us to write better software for scientific computing or machine learning. I'm developing Lean 4 library called SciLean.

Publications

Wave Curves: Simulating Lagrangian water waves on dynamically deforming surfaces
T. Skřivan, A. Söderström, J.Johansson, C.Sprenger, K. Museth, C. Wojtan
ACM Transactions on Graphics, 2020
Optimal multiple importance sampling
I. Kondapaneni, P. Vévoda, P. Grittmann, T. Skřivan, P. Slusallek, J. Křivánek
ACM Transactions on Graphics, 2019
MIS compensation: optimizing sampling techniques in multiple importance sampling
O. Karlík, M. Šik, P. Vévoda, T. Skřivan, J. Křivánek
ACM Transactions on Graphics, 2019
On diffusive variants of some classical viscoelastic rate-type models
M. Dostalík, V. Průša, T. Skřivan
AIP Conference Proceedings 2107, 2019
Water surface wavelets
S. Jeschke, T. Skřivan, M. Müller-Fischer, N. Chentanez, M. Macklin, C. Wojtan
ACM Transactions on Graphics, 2018
Thermodynamics of viscoelastic rate-type fluids with stress diffusion
J. Málek, V. Průša, T. Skřivan, E. Süli
Physics of Fluids, 2016
Bi-Directional Polarised Light Transport>
M. Mojzík, T. Skřivan, A. Wilkie, J. Křivánek
Eurographics Symposium on Rendering, Rendering - Experimental Ideas, 2016
Shear and vorticity banding
Master Thesis, 2016
supervised by Vít Průša
3D Texture deformation according to a polygonal model
Bachelor Thesis, 2014
supervised by Jaroslav Křivánek