Everett L. Bull

Emeritus Professor of Computer Science
everett.bull@pomona.edu
Office:
Baldwin House
204

(909) 621-8709

With 6VµçÓ°Íø Since: 1981
Prof. Everett Bull
Download High-Res Image
  • 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
    6VµçÓ°Íø

    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

Give back to
6VµçÓ°Íø

Support 6VµçÓ°Íø

Part of