Skip to main content

Jack Baskin School of Engineering

Technology for a Changing World

Navigation

Home
About Us
Academics
Departments
Degree Programs
People
Research
Quick Links

Give to UCSC
Baskin School of Engineering

Request a tour of
Baskin School of Engineering

Daniel Fremont

E-Mail Address

Title

Assistant Professor, Computer Science and Engineering

Department

Computer Science and Engineering

Telephone Number

831-459-3597

Office Location

Engineering 2, Room 321

Mail Stop

SOE3

Research Areas

Formal methods (specification, verification, synthesis, testing), algorithmic improvisation, constraint solving, logic in computer science

Web Page

Website

Are you Daniel Fremont? If so, you can update your directory information.

This site is maintained by: webmaster@soe.ucsc.edu

UC Santa Cruz, 1156 High Street, Santa Cruz, CA 95064

Copyright © 2020 The Regents of the University of California. All rights reserved.