返回导师列表
IR

Ivan Ruchkin

Assistant Professor · Department of Electrical & Computer Engineering

University of Florida · United States
Safe and trustworthy autonomycyber-physical systemsguarantees for learning componentsformal methodsroboticsautonomous racing

简介

Ivan Ruchkin is an Assistant Professor in the Department of Electrical & Computer Engineering at the University of Florida. His research focuses on safe and trustworthy autonomy, cyber-physical systems, guarantees for learning components, formal methods, robotics, and autonomous racing.

代表成果

  • Data Generation with PROSPECT: a Probability Specification Tool
  • Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems
  • Architectural and Analytic Integration of Cyber-Physical System Models
  • Architectural Abstractions for Hybrid Programs

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。