Search for people, departments, or email addresses.
he, him, his, his, himself
Baskin School of Engineering
Computer Science and Engineering
Assistant Professor
Faculty
Regular Faculty
Engineering Building 2
Room 321
SOE3
Formal methods (specification, verification, synthesis, testing), especially for cyber-physical and machine learning-based systems; algorithmic improvisation; constraint solving; logic in computer science.
2020 SIGBED Paul Caspi Memorial Dissertation Award for PhD thesis Algorithmic Improvisation.
Vin, Eric (evin)
CSE 216: Formal Methods
CSE 102: Introduction to Analysis of Algorithms
CSE 103: Computational Models
This campus directory is the property of the University of California at Santa Cruz. To protect the privacy of individuals listed herein, in accordance with the State of California Information Practices Act, this directory may not be used, rented, distributed, or sold for commercial purposes. For more details, please see the university guidelines for assuring privacy of personal information in mailing lists and telephone directories. If you have any questions please contact the ITS Support Center.