Jen Davoren has a longstanding fascination with logic and its applications which began with reading Gödel, Escher, Bach: An Eternal Golden Braid as a high school student. She has a PhD in Mathematics (1998) and an MSc in Computer Science (1994) from Cornell University, and a BA(Hons) in Mathematics and Philosophy from the University of Melbourne (1991). Jen held research positions at Cornell University, UC Berkeley, and the Australian National University before moving to the University of Melbourne in 2002, to the Department of Electrical and Electronic Engineering. Her research includes work on logical and mathematical foundations of networked and hybrid (mixed discrete and continuous) control systems.


Logic: Language and Information 2

Logic: Language and Information 1