E
Eric Koskinen
Charles Berendsen Chair Associate Professor
Research Interests
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing