Barbara Flora Csima is a Canadian mathematician specializing in computability theory and mathematical logic.
[2] Csima studied mathematics and actuarial science as an undergraduate at the University of Toronto, graduating with honours in 1998.
She went to the University of Chicago in the US for graduate study in mathematics, earned a master's degree there in 1999, and completed her Ph.D. in 2003.
[3] Her dissertation, Applications of Computability Theory to Prime Models and Differential Geometry, was supervised by Robert I.
[3] Csima was elected as president of the Canadian Mathematical Society for a term beginning in 2024.