Professor, Computer Science

Baskin School of Engineering
1156 High St
Mail Stop SOE3
Santa Cruz, CA 95064

Phone Number: 831-459-4611

Department: Computer Science

Office Location: Engineering 2, Room 355
Office Hours: Mon/Wed 2 - 3 pm

E-Mail Address:

Web Page

• http://www.soe.ucsc.edu/~avg/

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

Current and Future Classes

Spring 2012

• CMPS 101: Algorithms and Abstract Data Types

Fall 2012

• CMPS 201: Analysis of Algorithms

Winter 2013

• CMPS 132: Computability and Computational Complexity
• CMPS 132W: Computability and Computational Complexity

Students & Researchers

• Soscha de la Fuente (Undergraduate)
• Jennifer Lee Parrish (Graduate)

Are you Allen Van Gelder? If so, you can update the information on this page.