Daniel J. Fremont
Daniel J. Fremont
Associate Professor, Computer Science and Engineering, University of California, Santa Cruz
Joined
July 2019
Names
Emails
****@ucsc.edu (Confirmed)
****@berkeley.edu
Personal Links
Career & Education History
Associate Professor
Computer Science and Engineering, University of California, Santa Cruz (ucsc.edu)
2025 – Present
Assistant Professor
Computer Science and Engineering, University of California, Santa Cruz (ucsc.edu)
2019 – 2025
Postdoc
Electrical Engineering and Computer Sciences, University of California, Berkeley (berkeley.edu)
2019 – 2019
PhD student
Logic and the Methodology of Science, University of California, Berkeley (berkeley.edu)
2013 – 2019
Advisors, Relations & Conflicts
Expertise
formal methods
Present
cyber-physical systems
, autonomous systems
Present
Publications
Co-Authors
- Adrian Freed
- Alberto L. Sangiovanni-Vincentelli
- Alessio R. Lomuscio
- Alexander Ivrii
- Alexandre Donzé
- Alvaro A. Cardenas
- Alvaro A. Cárdenas
- Ananth Shreekumar
- Andreas Gittis
- Ankur Mehta
- Ankush Desai
- Anwesha Chattoraj
- Atul Acharya
- Beyazit Yalcinkaya
- Cheng Soon Ong
- David Wessel
- Denis Osipychev
- Devan Shanker
- Dongyan Xu
- Dragos D. Margineantu
- Dror Fried
- Edward A. Lee
- Edward Kim
- Ellen Kalvan
- Eric Vin