Andrew Davison

Curriculum Vitae

Position: อาจารย์

Office: Room R212
Department of Computer Engineering
Faculty of Engineering, Prince of Songkla University
Hatyai, Songkhla, 90112

Tel: +66 (0)74 211030

Fax: +66 (0)74 212895




  • B.Sc., (honored) Computing, 1983 UMIST, UK.
  • M.Sc., Computer Science, 1985 Lehigh, USA.
  • Ph.D., Computer Science, 1989 Imperial, UK.


  • Lehigh University: Teaching assistant in FORTRAN and numerical methods.
  • Imperial College: 1985 – June 1991 : I tutored various undergraduate and Masters computing courses, including ones on logic programming (LP), databases principles, and software engineering. From September 1987, I was employed as a research assistant, which included the supervision of two Master projects. For two years, I helped teach a Masters course on concurrent LP.
  • University of Melbourne: July 1991 – September 1996. My lecturing duties involved teaching first, second, and Honours level students. The subjects included C, C++, UNIX tools, functional programming, comparison of programming paradigms, sequential and concurrent LP. I supervised one Ph.D student, co-supervised another, and supervised three Masters student. Other duties: first year coordinator, orientation week organizer for the department (4 times).
  • PSU, Thailand: October 1996 – September 1998. Teaching included UNIX, network programming, advanced C, Java, and software engineering. I co-supervised two Masters students, and several Honours projects. One of the Masters students won a NECTEC Award. Other duties: helped with the revision of the undergraduate syllabus, and gave advice on the new Masters programme.
  • AIT, Thailand: October 1998 – December 1999. Teaching included: client/server distributed systems, and operating systems. I supervised two Masters students, and was on the program committees for several other Masters and Ph.D students. I remain an Adjunct Faculty member, and returned to AIT for two month in 2000 to teach a Masters course.
  • Rangsit University, Thailand: October 1998 – December 1999. I taught a course called “Theory of Programming Languages” three times during the year.
  • PSU, Thailand: December 1999 – present. Teaching duties have included: “Introduction to Java”, “Mathematics for Computer Engineering”, “Client/Server Distributed Systems”, "Computer Programming Techniques", and “Advanced UNIX Programming” for undergraduate students. I was a guest lecturer in the software engineering course, talking about UML. I taught an advanced Java course, centered around J2EE, to the Masters students. I am currently supervising eight final year undergraduate students in their project work.

Field of Interests:

Professional and Honor Societies:

Teaching Involvements:

On-Going and Funded Research Projects:

Papers and Publications :

  • Davison, A. 1991. ‘From Parlog to Polka in Two Easy Steps', PLILP'91: 3rd Int. Symp. on Programming Language Impl. and LP, Springer, LNCS 528, pp.171-182, Passau, Germany, August.

  • Davison, A. 1992a. ‘Polka-B: Polka with Blackboards', ACSC-15: Proc. of Australian Computer Science Conf., ACS Comms:14, Vol.1, pp.227-242, Hobart, January.

  • Davison, A. 1992b.'Object Oriented Databases in Polka', In Parallel Processing and Data Management, (ed. P. Valduriez), UNICOM Applied Information Technology series, No.13, Chapman & Hall, UK, chapter 17, pp.207-223.

  • Davison, A. 1993a. 'A Concurrent Logic Programming Encoding of Petri Nets', ACSC-16: Proc. Of The Australian Computer Science Conf., Brisbane, February, pp.379-386.

  • Davison, A. 1993b. '15th July 1972: A Significant Moment for Logic Programming', SIGPLAN Notices, Vol. 28, No 4, April 1st.

  • Davison, A. 1993c. 'Vague Text Compression', SIGACT News, Vol.24, No.1, Winter, pp.68-74.

  • Davison, A. 1993d. 'Parsing with DCG-Terms', LPAR'93: 4th Int. Conf. On Logic Programming and Automated Reasoning, St. Petersburg, Russia, July, pp.98-109.

  • Davison, A. 1993e. 'A Survey of LP-based Object Oriented Languages', In Research Directions in Concurrent Object Oriented Programming, (eds. Peter Wegner, Akinori Yonezawa, and Gul Agha), The MIT Press, pp. 42-106.

  • Davison, A. 1994a. 'Separating Synchronisation and Functionality in Concurrent Logical Objects', ACSC-17: Proc. of the Annual Computer Science Conf., Christchurch, New Zealand, January, pp.561-569

  • Davison, A.1994b. 'KL1 and the Early Days of the FGCS Project', SIGPLAN Notices, Vol. 29, No.7, July.

  • Lee, J. and Davison, A. 1995. ‘The BeBOP System',ACSC'95. 18th Australasian Computer Science Conf., Adelaide, South Australia, January.

  • Davison, A. 1995d. 'Teaching C after Miranda', FPLE'95: Symp. on Functional Programming Languages in Education, In ‘Functional Programming Languages in Education' (FPLE), LNCS 1022, P. H. Hartel and M. J. Plasmeijer (eds.), Springer-Verlag, Heidelberg, Nijmegen, the Netherlands, December, 1995, pp.35-50

  • Loke, S.W. and Davison, A. 1996. 'Logic Programming and the World Wide Web', Hypertext'96: The 7th ACM Conference on Hypertext, Washington DC., USA, March, pp.235-245

  • Sterling,L., Loke, S.W., and Davison, A. 1996. 'Software Agents for Retrieving Knowledge from the WWW', Workshop on Agents and Web-based Design Environments, 4th Int. Conf. on Artificial Intelligence in Design, Stanford University, USA., June.

  • Loke. S.W., Davison, A., Sterling, L. 1996a. ‘CiFi: An Intelligent Agent for Citation Finding on the World Wide Web', PRJCAI'96: 4th Pacific Rim Int. Conf. on Artificial Intelligence, Cairns, Australia, August.

  • Loke, S.W., Davison, A., and Sterling, L. 1996b. ‘Lightweight Deductive Databases on the World-Wide Web', 1st Workshop on Logic Programming Tools for Internet Applications, JICSLP'96: Joint Int. Conf. on Logic Programming, Bonn, Germany, September.

  • Davison, A. 1996e. ‘Logic Web: Enhancing the Web with Logic Programming', Invited talk at INAP-96: The 9th Exhibition and Symp. on Industrial Applications of Prolog, Tokyo, Japan, October.

  • Loke, S.W. and Davison, A. 1997a. ‘A Logic Programming Approach to Generating Webbased Guided Tours', PAP'97: The 5th Int. Conf. and Exhibition on the Practical Applications of Prolog, London, UK, April.

  • Davison, A. 1997b. ‘LogicWeb: Enhancing the Web with Logic Programming', Invited Tutorial at PAP'97: The 5th Int. Conf. and Exhibition on the Practical Applications of Prolog, London, UK, April.

  • Loke, S.W. and Davison, A. l997b. ‘A Two-level World Wide Web Model with Logic Programming Links', 2nd Workshop on Logic Programming Tools for Internet Applications, ICLP'97: Int. Conf. on Logic Programming, Leuven, Belgium, July.

  • Davison, A. 1997f. 'curl: Automated Linking of Pages in a Web Document', 4th int. Conf. on Hypertexts and Hypermedia: Products, Tools, Methods, Paris, France, September.

  • Davison, A., and Loke, S.W. 1997. ‘An Introduction to LogicWeb', EECON-20: 20th Electrical Engineering Conf. of Thailand, Bangkok, Thailand, November.

  • Sukpan, S., Santhititham, D., Jirachiefpattana, A., Davison, A. 1998. ‘A New Time Scheduler Application on the Web Using Logic Programming and Agents', INET'98: Int. Conf. of the Internet Society, Geneva, Switzerland, July 2lst-24th.

  • Bussarawit. S. and Davison, A. 1998. ‘The Design of the PMBC Reference Collection Database', TMMP'98: Proc. of the 9th Workshop of the Tropical Marine Mollusk Programme, Lombok, Indonesia, August 21st-23rd.

  • Loke, S.W. and Davison, A. 1998a. ‘Logic Web: Enhancing the Web with Logic Programming', Journal of Logic Programming, Vol. 36(3), September, pp.195-240.

  • Loke, S.W. and Davison, A. 1998b.'Implementation of a System for Declarative Mobile Code and Web Querying', INAP'98: 11th Int. Conf. on Applications of Prolog, Tokyo,September 14th-16th.

  • Davison, A. 1999. ‘A Concurrent Logic Programming Model of the Web', PACLP'99: the 7th Int. Conf. and Exhibition on the Practical Applications of Constraints and Logic Programming, London, UK, April.

  • Davison, A. and Loke, S.W. 1999. ‘LogicWeb: Enhancing the Web with Logic Programming', Invited Talk at Int. Workshop on Information Integration and Web-based Applications and Services, Yogyakarta, Indonesia, November15th -17th

  • Jirachiefpattana, A., Santhititham, D., Davison, A., and Jirachiefpattana, W. 1999. ‘Logical Agents for Deductive Diary Database on the Web', NCSEC'99: the 1999 National Computer Science. and Eng. Conf, Bangkok, Thailand, December 16th-17th

  • Davison, A. 2001a. “Enhancing VRML97 Scripting”, Euromedia'2001, Valencia, Spain, April 18th - 20th.

  • Loke, S.W. and Davison, A. 2001. "Secure Prolog Based Mobile Code", Theory and Practice of Logic Programming, Vol. 1, No. 3, May, pp.321-357.

  • Chochai, T. and Davison, A. 2001. “Teaching Distributed Programming Concepts Using a Java and Logo-based Framework”. IC'2001: Proc. of the Int. Conf. on Internet Computing, Las Vegas, USA, June 25th - 28th, pp.331-316.

  • Rattana, A. and Davison, A. 2001. “N-Sums: A Framework for Web-based Search Engines”, IIWAS 2001: the 3rd Int. Conf. on Information. Integration and Web-based Applications and Services, Linz, Austria, September 10th - 12th.

  • Davison, A. 2001c. 'Logic Programming Languages for the Internet', Invited chapter in Computational Logic: From Logic Programming into the Future, Antonis Kakas, Fariba Sadri (eds.), Springer Verlag.

[ close ]