Jesse Hartloff

PhD

Jesse Hartloff.

Jesse Hartloff

PhD

Jesse Hartloff

PhD

Research Topics

Computer science education

Biography Teaching Research

Research

  • Algorithms and Complexity
    1/17/23
    Computer science theory assesses which problems are possible and feasible to solve through theories of computability, undecidability, complexity, reducibility, and approximability.
  • Computing Education
    1/17/23
    Focuses on expanding approaches to teaching computing at all levels (K-12 and University) and the outreach to promote computing majors and careers.
  • Programming Languages and Software Engineering
    1/17/23
    Programming Language research focuses on type systems, program logics, language-based and differential privacy and security; language, compiler, and run-time design for reliable systems; static and dynamic analyses for real-time Android; run-time visualization and verification; adaptive memory management; language concepts for database programming; logic- and constraint-based systems.