Twitter Beğeni Hilesi

We are hiring! CSE@MSU is going through a major expansion in the next few years. This is an open search and candidates in all areas of computer science are welcome to apply. careers.msu.edu/en-us/job/5162…

Last rehearsal of Orff's monumental Carmina Burana with Lansing Symphony Orchestra before tomorrow concert.

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

First 2 emails received in 2024. What a great start! Happy New Year!

Didn’t know I am poisonous. I am probably exponentially poisonous because I am an educator too. youtube.com/watch?v=RKPFjA…

You can cut infinite lines of text from an over-space paper/proposal and you can fit infinite number of things in a packsack.

These are the type of typos you need to find in the last minute read of your proposal: “Currently, AI agents asses the risk…” 😁

One year passed since the MSU campus shooting.

Prof. Ruzica Piskac visited MSU today and gave a wonderful talk on Logic, Law, and Cryptography! 🤩 Learned a lot from our conversations. Thanks to her extreme kindness, open-minded personality, and inspiring research mentoring to, in her words, we “scientist-babies”! 🤓🐥

Once again, during the rebuttal period, I'm so close to write "Dear reviewer, please read the f&%^# paper".

Sunday eve music, while the world is going insane.

The world is governed by mad men like those in Iran and Israel and dangerous clowns like Trump.

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.

A reviewers says: "I presume that using an SMT solver restricts your solutions to finite-domain variables, but you don't seem to ever mention this." Hmmm...WHAT?!

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

Happy 4th of July from Berkeley ... with a bunch of other workaholic nerds who shall remain unknown.

‼️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!🏃🏻‍♀️

In admiration, at NSF SaTC PI meeting, a colleague told me formal methods is like the lover you were never able to marry :)