Rajeev Alur (@rajeevalur) 's Twitter Profile
Rajeev Alur

@rajeevalur

Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems

ID: 1500502316956504074

calendar_today06-03-2022 16:03:39

188 Tweet

1,1K Followers

226 Following

Rajeev Alur (@rajeevalur) 's Twitter Profile Photo
Rajeev Alur
@rajeevalur

7 months ago

The goal of this meeting is to bring together researchers in AI/ML + PL/FM and AI/ML + CPS/Control, all interested in developing neurosymbolic solutions to challenging system design problems