Matthew Hertz

PhD

Matthew Hertz

PhD

Research Topics

Computer science education; runtime systems; dynamic memory management

Contact Information

352 Davis Hall

Buffalo NY, 14260

Phone: (716) 645-4736

mhertz@buffalo.edu

Loading...

Loading...

Research Areas

1/23/20
Focuses on expanding approaches to teaching computing at all levels (K-12 and University) and the outreach to promote computing majors and careers.
1/23/20
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.