About Dimitris Vardoulakis

Software engineer working on machine learning compilers. My math interests include logic, type theory, and interactive proof assistants.

Lists

Timeline

dimvar has no activity yet