Colleen M Robles

Professor Robles is a geometer.  Her current research is focused on questions in complex geometry that are motivated by Hodge theory and its applications to moduli of algebraic varieties.  (She also has made contributions to the fields of Finsler geometry, calibrated geometry, and complex projective geometry.)  She also is also interested in (and supervises projects on) the formalization of mathematics via automated theorem-provers and proof-assistants (such as Lean).