Everett L. Bull

Emeritus Professor of Computer Science
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
    Pomona College

    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