معرفی
Sanjeevi Krishnan is an Associate Professor in the Department of Mathematics at The Ohio State University (OSU). He specializes in directed algebraic topology, focusing on spaces with time-like structures. His research bridges theoretical mathematics and applications in computer science and robotics. He currently teaches undergraduate Linear Algebra (Math 2568/4568) and has developed software tools like dat.py, cubcat.app, and practice: synthetic homotopy theory for topological computations.
Key research interests include model structures, cubical approximations, and homotopy invariants in directed topology. His work has been published in journals like Algebraic & Geometric Topology, Journal of Pure and Applied Algebra, and Applied Categorical Structures. Notable contributions include foundational papers on covering spaces in directed topology and applications of topological duality in pursuit-evasion games.
He collaborates with institutions globally, including work with Robert Ghrist on topological max-flow min-cut theorems and with Philippe North on dihomotopy type theory. His teaching and research emphasize practical implementations through computational tools and spectral sequence visualization.
