Ivan Ruchkin (Preferred)
Ivan Ruchkin
Assistant Professor, Electrical and Computer Engineering, University of Florida
Joined
March 2024
Names
Emails
****@ece.ufl.edu (Confirmed)
****@gmail.com
****@alumni.cmu.edu
****@cis.upenn.edu
****@cs.cmu.edu
Personal Links
Career & Education History
Assistant Professor
Electrical and Computer Engineering, University of Florida (ufl.edu)
2022 – Present
Postdoc
Computer and Information Science, University of Pennsylvania, University of Pennsylvania (upenn.edu)
2018 – 2022
PhD student
Institute for Software Research, Carnegie Mellon University (cs.cmu.edu)
2011 – 2018
Undergrad student
Computational Mathematics and Cybernetics, Lomonosov Moscow State University (msu.ru)
2006 – 2011
Advisors, Relations & Conflicts
Expertise
neuro-symbolic learning
2022 – Present
safe learning
2019 – Present
autonomous systems
2013 – Present
formal methods
2011 – Present
software engineering
2011 – 2019
Publications
Co-Authors
- Ajinkya Bhave
- Akshay Rajhans
- Alan Ismaiel
- Albert Y. Zomaya
- Alessia Knauss
- Amanda Rico
- Anahita Mohseni-Kabir
- André Platzer
- Ankica Barisic
- Antonio Cicchetti
- Ao Wang
- Arjun Guha
- Ashutosh Pandey
- Ashwini Rao
- Awais Rashid
- Barnaby Craggs
- Bashar Nuseibeh
- Bradley R. Schmerl
- Bruce H. Krogh
- Carson Sobolewski
- Chao Huang
- Christian Kästner
- Christopher P. Bonafide
- Christopher Steven Timperley
- Christos Tsigkanos