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

My research centers on parsers and (front-end) compiler technology for object-oriented languages as part of the Principles of Programming research group here. Primary areas of application include program analysis, software testing and verification and reverse engineering.

Publications

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 [Gödel's Theorem] (4th CSSE)
  • CS619 Program Comprehension (MSc in SE)

• Other Courses I've taught in the past 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

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