I am currently working as a software developer at Simply VC.
Previously, I obtained a BSc (Hons) Mathematics and Computer Science from the University of Malta,
and an MSc Computer Science from the University of Nottingham.
My main research interests lie in logic, homotopy type theory, functional programming, and constructive mathematics.
You can find my CV here. My github profile is available here.
email :: String -> String -> String
email = \name surname -> name ++ surname ++ "@gmail.com"
email "stefania" "damato"