GradNova

B

Benjamin Titzer

Associate Research Professor

Computer Science, Carnegie Mellon University

Research Interests

Embedded Systems Design Techniques

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Security and Verification in Computing

Software Engineering Research

Academic Metrics

Links

Grants