Collaborators and Co-authors
This is a list of people with whom I have written papers, edited books or
otherwise brought the fruits of research into the public domain. It may be
incomplete, and is likely to be suffering the effects of link-rot. Anyway,
these pages are indicative of the types with whom you get to associate if you
hang out with logicians and such. You have been warned.
-
Asif Ali
-
Anbulagan
-
Grigoris Antoniou
-
Frank Bennett
-
Piergiorgio Bertoli
-
Arnold Binas
-
Martin Bunder
-
Alessandro Cimatti
-
Masayuki Fujita
-
Rod Girle
-
Charles Gretton
-
Mark Grundy
-
Ryuzo Hasegawa
-
Kal Hodgson
-
Froduald Kabanza
-
Phil Kilby
-
Tomasz Kowalski
-
Ewing "Rusty" Lusk
-
Bill McCune
-
Bob McKay
-
Michael McRobbie
-
Zdzislaw "Gustav" Meglicki
-
Bob Meyer
-
Riichiro Mizoguchi
-
Duc Nghia Pham
-
David Price
-
Paul Pritchard
-
Greg Restall
-
Abdul Sattar
-
Mark Stickel
-
Tim Surendonk
-
Sylvie Thiébaux
-
Toby Walsh
-
Hongxue Wang
Automated Reasoning Group
Computer Sciences Laboratory
Research School of Information Sciences and Engineering
Australian National University
|