Colleen M Robles

Prof. Colleen M Robles is a Professor of Mathematics at Duke University, Department of Mathematics. Her research focuses on Hodge theory and complex geometric properties of period maps, with prior work in differential geometry, including Finsler geometry, calibrated geometry, and the geometry and topology of rational homogeneous varieties. She also has a side interest in the formalization of mathematics and the proof assistant Lean. She supervises graduate and undergraduate students in various research projects related to mathematics and formalization. She is involved in several academic service roles, including Department Liaison, Provost's Academic Programs Committee, and Editor of the Annals of Formalized Mathematics.

Colleen Robles is a mathematician specializing in geometry and topology, with a focus on Riemannian and Finsler geometry. Her research explores topics such as Zermelo navigation, Ricci and flag curvatures, and geodesics in Randers spaces. She investigates Einstein metrics of Randers type and the properties of spaces with constant curvature. Robles also contributes to the study of Schubert varieties, Hodge structures, and hyper-Kähler cohomology. Her work includes the analysis of polarized relations, degenerations of Hodge structures, and the LLV decomposition. Her research bridges differential geometry and algebraic geometry, emphasizing the interplay between curvature and geometric structures.