Skip to main content
Stay Informed:
Baskin Engineering COVID-19 Information and Resources
Campus Roadmap to Recovery
Zoom Links:
Zoom Help
|
Teaching with Zoom
|
Zoom Quick Guide
Jack Baskin School of Engineering
Technology for a Changing World
Navigation
Home
About Us
Academics
Departments
Degree Programs
People
Research
Quick Links
Allen Van Gelder
E-Mail Address
Please Enable JavaScript
Title
Professor, Computer Science and Engineering
Department
Computer Science and Engineering
Telephone Number
831-459-4611
Office Location
Engineering 2, Room 355
Office Hours
Please see: https://users.soe.ucsc.edu/~avg/
Mail Stop
SOE3
Biography
Dr. Allen Van Gelder research interests include development of algorithms for propositional satisfiability, methods for verifiable software, theorem proving, analysis of algorithms, parallel algorithms, computer graphics, and scientific visualization. He received a National Science Foundation Presidential Young Investigator Award in 1989 to investigate the use of logic programming for problems in database and artificial intelligence systems.
Research Areas
Logic programming algorithms, parallel algorithms, complexity, programming languages, automated theorem proving, scientific visualization
Web Page
http://www.soe.ucsc.edu/~avg/
Are you Allen Van Gelder? If so, you can
update your directory information
.