معرفی
Ivan Ruchkin is an Assistant Professor in the Department of Electrical & Computer Engineering at the University of Florida. He leads the Trustworthy Engineered Autonomy (TEA) Lab, focusing on making autonomous systems safer through formal methods, cyber-physical systems analysis, and neuro-symbolic approaches. His research integrates diverse models and methodologies to ensure safety guarantees for systems like autonomous vehicles and medical devices. Ruchkin is affiliated with the Nelms Institute for the Connected World, the Artificial Intelligence Academic Initiative (AI2), and the IC3 Center for Intelligent Critical Care.
Education: PhD in Software Engineering from Carnegie Mellon University (2019), MS from CMU (2014), and Specialist degree in Applied Mathematics & Computer Science from Lomonosov Moscow State University (2011).
Research interests span safe autonomy, formal verification, robotics, and trustworthy AI. He has received awards including the ACM SIGSOFT Distinguished Paper Award (2015) and the Frank Anger Memorial Award (2017). Key projects include developing world models for safety prediction and confidence composition frameworks for dynamic assurance.
His work addresses challenges in high-dimensional control systems, causal policy repair, and safety calibration for image-driven autonomy. Ongoing efforts focus on neuro-symbolic bridges between perception and control, and physically interpretable representations in robotics.
