Andrew Hirsch

PhD

Andrew Hirsch.

Andrew Hirsch

PhD

Andrew Hirsch

PhD

Research Topics

Programming languages; epistemic logic; type theory; concurrency; language-based security; information-flow control

Biography Teaching Research

Research Areas

  • Computer Security and Cryptography
    1/17/23
    Focuses on applied cryptography, authentication, software and system security, threat modeling, anomaly detection, wireless security, cloud security, human-centered security, differential privacy and empirical cyber security.
  • 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.