Rajeev Alur
@rajeevalur
Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
ID: 1500502316956504074
06-03-2022 16:03:39
188 Tweet
1,1K Followers
226 Following
@rajeevalur
Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
ID: 1500502316956504074
06-03-2022 16:03:39
188 Tweet
1,1K Followers
226 Following
