Herbert Wertheim College of Engineering
Ruchkin Lab
Led by Ivan Ruchkin · Electrical and Computer Engineering
What we study
The Ruchkin Lab studies how AI systems understand and interact with the physical world, combining neural networks with first-principles math to improve safety and reliability in autonomy and robotics.
What working here is like
- Computational
- No organisms (data only)
- Coding required
- Projects
- 2
- Papers
- 5
Current projects
Neuro-Symbolic Bridge: From Perception to Estimation & Control
A project funded by the National Science Foundation to integrate neural networks with symbolic techniques for safer AI systems.
Project Generalizable Image Repair for Robust Visual Autonomous Racing
The lab works on making self‑driving race cars see better when the camera gets dirty or the light changes. The student will create a real‑time image repair system that fixes bad pictures before the car’s controller uses them.
From the Spring 2025 UF Undergraduate Research Symposium · abstract book, p. 527
Summaries are written by AI in plain language from public symposium abstracts and may be imperfect.
Recent papers, explained
- Neural Approximation of Vision-Controlled Systems for Reachability Analysis
2026 · ACM Transactions on Cyber-Physical Systems
Develops a method to verify safety of vision-based neural controllers.
- Repairing neural network-based control policies with safety preservation
2025 · Research Directions Cyber-Physical Systems
Builds a method to fix AI control systems without breaking existing safety.
Show 3 more papersShow fewer
- Evaluating Robustness of Learning-Enabled Medical Cyber-Physical Systems with Naturally Adversarial Datasets
2025 · ACM Transactions on Cyber-Physical Systems
Tests whether medical systems using AI can handle unexpected data.
- Surveying neuro-symbolic approaches for reliable artificial intelligence of things
2024 · Journal of Reliable Intelligent Environments
Reviews how combining AI and traditional methods improves reliability in smart devices.
- Modelling sustainability in cyber–physical systems: A systematic mapping study
2024 · Sustainable Computing Informatics and Systems
Plain-language summaries are AI-written and reviewed by us; check the paper for details.
How to reach out
Ivan Ruchkin hasn't set up this page yet. You can also look them up in the UF directory (search “Ivan Ruchkin”).