Skip to ContentSkip to Navigation
About us Practical matters How to find us D. (Daniel) Frumin, PhD

D. (Daniel) Frumin, PhD

Assistant Professor

Expertise

Logic, Type Theory, Program Verification
Last modified:01 March 2024 2.24 p.m.

Contact information