[Raise-faculty] Fwd: ME Seminar by Dr. Jyotirmoy V. Deshmukh – Thursday, May 22 at 11:00 AM

[Vassilis Tsotras]

Dear RAISE faculty,
please see below an interesting seminar on autonomous systems and AI 
from the Mech. Engr Colloquium this Thursday. Please let your students 
know if interested.

best,
Vassilis and Amit

-------- Original Message --------
Subject: ME Seminar by Dr. Jyotirmoy V. Deshmukh – Thursday, May 22 at 
11:00 AM
Date: 2025-05-14 15:09
 From: Mingyu Cai <mingyuc at ucr.edu>
To: mefac at engr.ucr.edu, mseprofsall at engr.ucr.edu, Jiachen Li 
<jiachen.li at ucr.edu>, Hang Qiu <hangq at ucr.edu>, Vassilis Tsotras 
<vtsotras at ucr.edu>, Yue Dong <yue.dong at ucr.edu>, Vishwanath Saragadam 
<vishwanath.saragadam at ucr.edu>, Konstantinos Karydis <karydis at ucr.edu>, 
Matthew Barth <barth at ucr.edu>, Amit Roy Chowdhury <amitrc at ucr.edu>, 
Hyoseung Kim <hyoseung.kim at ucr.edu>, "Cong Liu (Cong)" 
<cong.liu at ucr.edu>

Dear colleagues,

Dr. Jyotirmoy V. Deshmukh from the University of Southern California
will be visiting us to present a seminar titled _“Safe Autonomy
through Neuro-symbolic AI and Statistical Reasoning.”_ The seminar
will take place on Thursday, May 22nd, from 11:00 AM to 12:00 PM in WCH
205/206.

Dr. Deshmukh’s current research focuses on applying formal methods to
reason about cyber-physical systems, as well as the verification and
testing of embedded control systems.
For more information, please find the attached flyer.

If you would like to meet with Dr. Deshmukh, please sign up using the
link
below:https://docs.google.com/document/d/1UWTXN_JrmLtMbz0iDG-Q3tXXfR_wrm-WfIy4h5XBP4c/edit?tab=t.0

Please FYI the seminar to faculty members that are not in the list.

For those who are unable to schedule a full meeting but would like to
have a brief chat, coffee and snacks will be available before the
seminar in WCH 205/206.

We hope to see you there!

Best,
Mingyu Cai
Assistant Professor
Department of Mechanical Engineering
University of California, Riverside
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Dr. Jyo Deshukh - ME Seminar Flyers - May 22.pdf
Type: application/pdf
Size: 4422509 bytes
Desc: not available
URL: <https://lists.ucr.edu/pipermail/raise-faculty/attachments/20250519/50fbb2eb/attachment-0001.pdf>