Search for people, departments, or email addresses.
Allen Van Gelder
Professor
Baskin School of Engineering
Computer Science and Engineering
Professor
Faculty
Regular Faculty
Jack Baskin Engineering Building
N/A
Engineering 2, Room 355
USE EMAIL avg@cs.ucsc.edu FOR FASTEST RESPONSE.
SOE3
- 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.
- Logic programming algorithms
- Parallel algorithms
- Complexity
- Programming languages
- Automated theorem proving
- Scientific visualization
If you have the proper permissions, you can
edit this entry
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.
