Paulo Moura
Contact information
Responsabilities
Synopsis
Paulo Moura, PhD, is the author and main developer of the Logtalk programming language and Researcher at the Center for Research in Advanced Computing Systems (CRACS), INESC-TEC Porto, Portugal. His research interests include design and implementation of logic programming systems, multi-paradigm programming languages, and declarative object-oriented programming. He holds a PhD degree in Computer Engineering (September 2003) from the University of Beira Interior, Portugal; a MSc degree in Systems and Information Technology (December 1995) from the Computer Engineering Department of the University of Coimbra, Portugal; and a Undergraduate degree in Computer Engineering (December 1989) from the Computer Engineering Department of the University of Coimbra, Portugal.
Academic Degrees
- PhD in Computer Engineering, September 2003, University of Beira Interior, Portugal.
- MSc in Systems and Information Technology, December 1995, Computer Engineering Department, University of Coimbra, Portugal.
- Undergraduate degree in Computer Engineering, 1989, Computer Engineering Department, University of Coimbra, Portugal. Third student in class (17.4/20).
University Positions
September 2003 — Now
Department of Computer Science, University of Beira Interior, Portugal. Assistant Professor.
(March 2002 — February 2003 Sabbatical leave to prepare PhD dissertation)
September 1999 — September 2003
Department of Computer Science, University of Beira Interior, Portugal. Lecturer.
December 1995 — August 1999
Department of Mathematics, University of Coimbra, Portugal. Lecturer.
(September 1990 — November 1991 Mandatory Military Service, Portuguese Air Force)
January 1990 — December 1995
Department of Mathematics, University of Coimbra, Portugal. Teaching Assistant.
Visiting Research
February-May 2011: Visiting Professor, Department of Computer Science, K.U.Leuven, Belgium
June 2011: Visiting Professor, Institute for Informatics III, University of Bonn, Germany
June-July 2011 (forthcoming): Visiting Professor, Department of Computer Science, U.T.Dallas, USA
Research Positions
April 2008 — Now
Center for Research in Advanced Computing Systems (CRACS), INESC-TEC, Porto, Portugal.
January 1990 — August 1999
Center for Informatics and Systems, University of Coimbra, Portugal.
Research Interests
Design and implementation of logic programming systems, multi-paradigm programming languages, and declarative object-oriented programming. Author of the Logtalk object-oriented logic programming language (http://logtalk.org/).
Relevant Publications
Meta-Predicate Semantics, Paulo Moura, Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, Revised Selected Papers, LNCS, Springer-Verlag Berlin Heidelberg, 2012 (pending)
Programming Patterns for Logtalk Parametric Objects, Paulo Moura, Applications of Declarative Programming and Knowledge Management, LNAI 6547, pp. 52--69, Springer-Verlag Berlin Heidelberg, April 2011.
Secure Implementation of Meta-predicates, Paulo Moura, Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages (PADL), Savannah, GA, USA, January 2009, LNCS 5418, pp. 269--283, Springer-Verlag Berlin Heidelberg.
High Level Thread-Based Competitive Or-Parallelism in Logtalk, Paulo Moura, Ricardo Rocha and Sara C. Madeira, Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages (PADL), Savannah, GA, USA, January 2009, LNCS 5418, pp. 107--121, Springer-Verlag Berlin Heidelberg.
High-Level Multi-threading programming in Logtalk, Paulo Moura, Paul Crocker and Paulo Nunes, Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL), San Francisco, CA, USA, January 2008, LNCS 4902, pp. 265--281, Springer-Verlag Berlin Heidelberg.