@FLoC'22
Bryant Discoveries Day@FLoC'22: Celebrating the Career and Professional Achievements of Prof. Randal E. Bryant
| Speaker |
Affiliation |
| Nikolaj Bjorner |
Microsoft Research |
| Bob Brayton |
University of California, Berkeley |
| Randy Bryant |
Carnegie Mellon University |
| David Dill |
Meta |
| Aarti Gupta |
Princeton University |
| Shuvendu Lahiri |
Microsoft Research |
| Sharad Malik |
Princeton University |
| Ken McMillan |
University of Texas, Austin |
| Shin-Ichi Minato |
Kyoto University |
| Carl Seger |
Chalmers University of Technology |
| Sanjit Seshia |
University of California, Berkeley |
| Fabio Somenzi |
University of Colorado, Boulder |
| Willem-Jan van Hoeve |
Carnegie Mellon University |
| Moshe Vardi |
Rice University |
|
|
Aarti Gupta
Princeton University
Shuvendu Lahiri
Microsoft Research
Kenneth McMillan
The University of Texas at Austin
Sanjit A. Seshia
University of California, Berkeley
Ofer Strichman
Technion - Israel Institute of Technology
|
