�鶹��ý

Everett L. Bull

Emeritus Professor of Computer Science

everett.bull@pomona.edu

Office:

204

With Pomona Since: 1981

Expertise
Expertise

As a computer science scholar, Everett Bull works primarily on the application of formal methods and verification techniques to systems of computer security. In conjunction with faculty members at Harvey Mudd College, he is developing a course in computer security.
Areas of Expertise

COMPUTER SCIENCE

Theory of Computation

Applications of Logic to Computer Science

Computer Security
Work

Work

With E.M. Kleinberg, "A Consistent Consequence of AD," Trans. AMS, 274, 1979

"The Number Generators of the Semigroup of Computable Functions, abstract 79T-C72," Notices AMS, 26, A-521, October 1979

"Successive Large Cardinals," Annals of Mathematical Logic, 15, 161-191, 1978
Education
Education

1976, Ph.D., Mathematical Logic
Massachusetts Institute of Technology

1971, Bachelor of Arts, Mathematics
�鶹��ý
Recent Courses Taught

Computability & Logic

Computation & Cognition w/Lab

Computer Systems

Data Structures & Advanced Programming

Fundamentals of Computer Science

Seminar: Computer Security

Critical Inquiry Seminar: Property, Privacy, and Possession

Mailing Address

�鶹��ý 333 N. College Way
Claremont, CA 91711

Get in touch

Connect

Part of