Malliaris is the daughter of Anastasios G. (Tassos) Malliaris, an economist at Loyola University Chicago, and Mary E. Malliaris, Professor of Information Systems at Loyola.[2]
As an undergraduate at Harvard College, Malliaris wrote for the Harvard Crimson,[3] contributed a biography of Polish sociologist Zygmunt Bauman to the Encyclopedia of Postmodernism,[ZB] and worked for a startup called Zaps.[4]
She graduated from Harvard in 2001 with a concentration in mathematics,[4] and earned her PhD in 2009 from the University of California, Berkeley under the supervision of Thomas Scanlon. Her dissertation was Persistence and Regularity in Unstable Model Theory.[5]
She is also known for two joint papers with Saharon Shelah connecting topology, set theory, and model theory.[MS13][MS16]
In this work, Malliaris and Shelah used Keisler's order, a construction from model theory,
to prove the equality between two cardinal characteristics of the continuum, 𝖕 and 𝖙, which are greater than the smallest infinite cardinal and less than or equal to the cardinality of the continuum.
This resolved a problem in set theory that had been open for fifty years.
Their work also solved another problem that had been open almost as long, by characterizing the maximal theories in Keisler's order.[7][8][9]
^Moore, Justin Tatch (2013), "Model theory and the cardinal numbers 𝔭 and 𝔱", Proceedings of the National Academy of Sciences of the United States of America, 110 (33): 13238–13239, doi:10.1073/pnas.1310920110, MR3105596, PMC3746849, PMID23893298