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:09 December 2023 09.25 a.m.

Contact information