Ivan Ruchkin (@ivanruchkin) profile picture

Ivan Ruchkin

@ivanruchkin

Assistant Professor at the University of Florida. Research in engineering trustworthy autonomous systems

 Gainesville, FL
ivan.ece.ufl.edu/
Joined September 2011
  • Tweets2K
  • Following371
  • Followers310
170Media
Photo by Ivan Ruchkin (@ivanruchkin)Photo by Ivan Ruchkin (@ivanruchkin)Photo by Ivan Ruchkin (@ivanruchkin)Photo by Ivan Ruchkin (@ivanruchkin)Photo by Ivan Ruchkin (@ivanruchkin)Photo by Ivan Ruchkin (@ivanruchkin)Photo by Ivan Ruchkin (@ivanruchkin)Photo by Ivan Ruchkin (@ivanruchkin)Photo by Ivan Ruchkin (@ivanruchkin)Photo by Ivan Ruchkin (@ivanruchkin)
Keep up with the TEA Lab's work at @IROS2025: linkedin.com/posts/trustwortโ€ฆ
#iros2025 #robotics #saferobotics #generativeai | Trustworthy Engineered Autonomy (TEA) Lab

#iros2025 #robotics #saferobotics #generativeai | Trustworthy Engineered Autonomy (TEA) Lab

A preview of TEA Lab's contributions at IROS 2025 ๐Ÿค– this week: 1. An invited talk "๐‘๐ž๐ฅ๐ข๐š๐›๐ฅ๐ž ๐–๐จ๐ซ๐ฅ๐ ๐Œ๐จ๐๐ž๐ฅ๐ฌ: ๐๐ก๐ฒ๐ฌ๐ข๐œ๐š๐ฅ ๐†๐ซ๐จ๐ฎ๐ง๐๐ข๐ง๐  ๐š๐ง๐ ๐’๐š๐Ÿ๐ž๐ญ๐ฒ ๐๐ซ๐ž๐๐ข๐œ๐ญ?...

linkedin.com
1
73
"If you cannot find a prior, look in the mirror", overheard on @MLStreetTalk
2
236
Ivan Ruchkin retweeted
ECE Florida (@ECEflorida) profile picture
ECE Florida@ECEflorida11 Aug 2025
Ivan Ruchkin, PhD, is looking for more confidence... when it comes to cyber-physical systems. A project recently funded by the @NSF aims to find it. Learn more about the framework he calls Methodology for Anomalous Safety Confidence (MASC). ow.ly/SWb450WCQ4R
Image from ECE Florida (@ECEflorida)
2
1
2
272
โฆTLDR of AI verification at โฆ@confCAVโฉ: 1. Axioms 2. Algorithms 3. ??? 4. Decision procedure 5. Safety guarantees! Photo credit: @taylorjohnsonโฉ
Image from Ivan Ruchkin (@ivanruchkin)
1
4
293
Starting TACPS workshop @ @confCAV, kickoff by @JamesXiZheng2, get ready for in-depth discussions ๐Ÿคฏ
Image from Ivan Ruchkin (@ivanruchkin)
1
1
3
237
more replies
Now for Ziyang with scallop and scene graphs!
Image from Ivan Ruchkin (@ivanruchkin)
1
64
And then of course there was me with my bounds tighter than those of @LarsLindemann2 :)
Image from Ivan Ruchkin (@ivanruchkin)
50
1. Verification + neuro-symbolic AI 2. Verification + foundation models Curious? ๐Ÿ˜ค Stop by 3rd TACPS workshop tomorrow at @confCAV tacps.org/program/
2
1
4
277
Come join us at 8:45a for introductory remarks
54
Image from Ivan Ruchkin (@ivanruchkin)
60
Life is both too short and too long to make yourself miserable. Don't.
1
54
Ivan Ruchkin retweeted
ECE Florida (@ECEflorida) profile picture
ECE Florida@ECEflorida14 Jul 2025
Ivan Ruchkin, Ph.D., builds worlds. His recent work concerns the way autonomous agents perceive the world and, indeed, the way in which the agents' worlds are constructed. Intrigued? Learn more: news.ece.ufl.edu/2025/07/11/โ€ฆ
Image from ECE Florida (@ECEflorida)
Image from ECE Florida (@ECEflorida)
3
1
3
258
when physical labor became optional we invented the gym. weโ€™ll need the same thing for the mind
961
1,992
576
30,904
1,666,446
Equations are the worst form of writing, except all the others that have been tried.
46
๐Ÿ“ข CFP: 3rd TACPS @ CAV 2025 ๐Ÿš€ Join us in Zagreb, Croatia (July 21, 2025) for the TACPS Workshop on Trustworthy Autonomous CPS! ๐Ÿ“ Submit by March 31, 2025 (AoE) ๐Ÿ“œ Vision, Research & Experience papers (non-archival). ๐Ÿ”— tacps.org ๐Ÿš€ #AI #CPS #Safety
1
1
131
๐Ÿšฉ CFP Extended! TACPS 2025 @ CAV | Join us to advance safe, interpretable, and verifiable learning-enabled CPS! Keynote by Vijay Ganesh, tutorials on neurosymbolic programming & panel on trustworthy autonomy | Deadline: May 1 | tacps.org
1
1
82
Ivan Ruchkin retweeted
ECE Florida (@ECEflorida) profile picture
ECE Florida@ECEflorida25 Mar 2025
Ivan Ruchkin, PhD., is working to make cyber-physical systems (CPS) aware of their own limitations. He's just received an NSF CAREER award funding his project โ€œRigorous Assumption Engineering for Learning-Enabled Cyber-Physical Systems.โ€ More: ow.ly/n2p550VoeqP
Image from ECE Florida (@ECEflorida)
2
1
7
273
Big news news.ece.ufl.edu/2025/03/25/โ€ฆ

Protected: Engineering Department Sites

depts.eng.ufl.edu
4
3
96
When in Nashville โ˜บ๏ธ With @HaiminHu, @AlexRobey23, @XinQin4, @anandb__, @ivanruchkin, and @YiannisKantaros
Image from Lars Lindemann (@LarsLindemann2)
Image from Lars Lindemann (@LarsLindemann2)
1
1
22
1,051
Load more