James Power MSc. PhD.	Department of Computer Science, National University of Ireland, Maynooth, Co. Kildare, Ireland.	E-Mail: Phone: +353 1 708 3447 Fax: +353 1 708 3848 Office: Room 2.103, Callan Building
Publications:	All  -  2008  -  2007  -  2006  -  2005  -  2004  -  2003  -  2002  -  2001  -  2000  -  1999
2009-10 Courses :	CS310  -  CS357  -  CS431  -  CS619

Research

Teaching

• The modules I'm teaching in the 2009-10 academic year are:
  • CS310 Compilers (3rd CSSE, 4th Science)
  • CS357 Software Verification (3rd CSSE, 4th Science)
  • CS431 Advanced Concepts and Issues in Computer Science (4th CSSE)
  • CS619 Program Comprehension (MSc in SE)

• Other Courses I've taught recently include:
  • Program Analysis a graduate-level course at Zhejiang University, China (March 2007)
  • CS614 Component Based Software Engineering (MSc in SE, 2005)
  • SE304/CS407 Formal Methods (2000-2004)
  • SE301/CS310 Compiler Design (2001-2004)
  • SE209 Virtual Machines (1999)
  • SE101/CS100 Principles of Computer Programming (1999-2004)
• In previous years (in DCU) I've given courses on computability, logic, formal semantics and compiler design

Qualifications

• Institutional Approaches to Programming Language Specification, PhD., Dublin City University, 1995.
• Linking Programs and Specifications in Z, MSc., Dublin City University, 1991.
• BSc. (Computer Science), University College Dublin, 1990.