ดร. Andrew Davison
Department of Computer Engineering
Faculty of Engineering, Prince of Songkla University
Hatyai, Songkhla, 90112
+66 (0)74 211030
+66 (0)74 212895
Computer Engineering @ Prince of Songkla University
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.
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.