Tomáš Skřivan is a mathematician and computer scientist specializing in physics simulations, computer graphics, and formal methods. During his PhD and his time at SideFX, he focused on fluid simulation for visual effects. He is currently a research fellow at the Hoskinson Center for Formal Mathematics at Carnegie Mellon University, where his research applies formal mathematics to improve scientific computing and machine learning.