Matt Stock

Matt Stock

Research Topics

Networking; operating systems; embedded systems; programmable logic

Contact Information

303 Davis Hall

Buffalo NY, 14260

stock@buffalo.edu

Biography Research

Research Areas

1/23/20
Focuses on the interplay between multiple elements of cyber technologies (such as sensing, computing, communications and control), and physical systems or processes (including infrastructures such as transportation and power) as well as human factors.
1/23/20
Research in networking and distributed systems focuses on enabling communication of and orchestrating coordination of a large number of computing nodes.
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.