Steve Earth

Steve Earth

Advisers: Jeremy Johnson, Bruce Char
Computer Science

Steve Earth

Advisers: Jeremy Johnson, Bruce Char
Computer Science

Research Areas

  • Theoretical Foundations of Computer Science
  • STEAM Education

Research Interests

Computer Science education, proof systems, formal verification and languages

Areas of Study

  • Computer Science