About Us Help Center Learn more.

Dr. Jen Davoren: Jen 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.

Prof. Greg Restall: is Professor of Philosophy at the University of Melbourne. He received his Ph.D. from the University of Queensland in 1994, and has held positions at the Australian National University and Macquarie University, before moving to Melbourne in 2002. His research focuses on formal logic, philosophy of logic, metaphysics, and philosophy of language, and even some philosophy of religion. He has published over 75 papers in journals and collections, and is the author of three books, An Introduction to Substructural Logics (Routledge, 2000), Logic (Routledge, 2006), and Logical Pluralism (Oxford University Press, 2006; with Jc Beall). His research has been funded by the Australian Research Council, and he is a Fellow of the Australian Academy of the Humanities. You can follow Greg on Twitter at @consequently, and see his webpage at consequently.org.