Borzoo Bonakdarpour
@theborzoo
Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.
ID: 1251169667823144961
http://www.cse.msu.edu/~borzoo 17-04-2020 15:25:24
191 Tweet
483 Followers
247 Following
Our 2023 last CSE Distinguished Lecture of the academic year will be given by Moshe Vardi (rescheduled from September). I cannot think of a more timely topic. Make sure you attend!
It was such a pleasure to host Moshe Vardi as a Distinguished Speaker last Friday at MSU. His talk is now available on YouTube: youtu.be/h0cWTQOJv0g
Congratulations to soon-to-be Dr. Oyendrila Dobe Oyendrila Dobe ! I am so proud of you and all the work we did during your PhD.
Had a fun few days at Simon's institute hearing about program synthesis stuff. Thanks Ruzica and Moshe Vardi for bringing us together Picture of Borzoo Bonakdarpour, Elaine Li, and me eating pizza with saag paneer on top for posterity
‼️New Paper Alert‼️ Photo of Raven Beutner giving a wonderful talk on our joint work with Borzoo Bonakdarpour and Bernd Finkbeiner, titled: “Syntax-Guided Automated Program Repair For Hyperproperties” freshly published at CAV 2024!!! 🥳🥳🥳 Paper link coming soon!🏃🏻♀️