Steve Earth

Steve Earth

Advisers: Jeremy Johnson, Bruce Char
Computer Science

Steve Earth

Advisers: Jeremy Johnson, Bruce Char
Computer Science

Research Interests

Computer Science education, proof systems, formal verification and languages

Areas of Study

  • Computer Science