From Logic to Technology and Back
featuring Moshe Y. Vardi Karen Ostrum George Distinguished Service Professor in Computational Engineering, Rice University
|
This event is free and open to the public. If you have questions about this event, please contact Scott Weinstein at weinstein@cis.upenn.edu.
|
|
Karen Ostrum George Distinguished Service Professor in Computational Engineering, Rice University
|
Vardi’s research spans automated reasoning, databases, computational complexity theory, and design specification and verification, and he is leading an initiative on Technology, Culture, and Society at Rice University. His many honors include the 2020 Alan Newell Award in recognition of his influential work at the interface of logic and computer science, and the 2021 Donald E. Knuth Prize for his “high-impact, seminal contributions to the foundations of computer science.” |
|
|
|
|
|
PLEASE BE ADVISED: At the request of the speaker, we will be requiring all in-person audience members to wear a mask. |
|