I am a Senior Lecturer in Logic in the School of Historical and Philosophical Inquiry at the University of Queensland, Australia. 

From 2022-2025, my work was supported by the Discovery Early Career Researcher Award DE220100544 (383,975 AUD in funds) given by the Australian Research Council. 

I serve on the editorial boards of Archive for Mathematical  Logic and Journal of Multiple-Valued Logic and Soft Computing.

According to the Mathematics Genealogy Project, I am  one of the many academic descendants of G. H. Hardy through the path  G. H. Hardy - R. Rado - K. Gravett - John N. Crossley - John L. Bell - G. Priest - Z. Weber - me. 

Jointly with John N. Crossley and John Stillwell, I have written a book entitled What is Mathematical Logic? (2ed.) to be published by Oxford University Press in 2025 (ISBN 9780198930860).

RESEARCH INTERESTS

Many-valued predicate logics. Intuitionistic, bi-intuitionistic, relevant, paraconsistent, and modal logics. Equality-free first-order logic. Second-order Logic. Logic in Computer Science.