Miguel Calejo's home page

This page in Portuguese

I'm the managing partner / director of Declarativa, an european information systems development company; managing partner and CIO at RentingPoint, the first portuguese rental marketplace; and a partner at BookMARC, a bibliographic systems developer. I also founded Servisoft, a portuguese distributor for Mac/Windows products, which I left in 2008. 

I'm also an (Invited) Associate Professor at University of Minho's Information Systems Dept, where I teach the Programming Paradigms and Web Programming courses, and a member of New University of Lisbon's AI Research Center, CENTRIA

The geek dimension

I love squeezing extra functionality out of existing declarative models, to make their use more productive for practitioners - naturally starting with my own development teams. For over a decade I've explored this concept with others in the realm of the development of interactive user interfaces wrapping "back-end" applications, designed themselves around substantial declarative data structures.  The two last iterations are Declarativa's Web Application Maker system (web interfaces for SQL database applications, now supporting about 18 custom web information systems in use in several companies and organizations) and XSB Inc.'s XJ system (Java Swing GUIs for Prolog systems, supporting several knowledge management tools in use at the USA's DoD).

Selected publications:

Web Application Maker: a model-based approach to web database development,
with Mário Araújo, Sónia Mota Araújo, and Nuno Soares,
in Procs. 4rd International Conference on Enterprise Information Systems, http://www.iceis.org, Ciudad Real 2002. More information in the WAM page.

InterProlog: a declarative Java-Prolog interface,
in Procs. Logic Programming for Artificial Intelligence and Information Systems (thematic Workshop of the 10th Portuguese Conference on Artificial Intelligence), Porto, 2001 . More information in the InterProlog page.

Java+Prolog: A land of opportunities,
in Procs. The First International Conference on The Practical Application of Constraint Technologies and Logic Programming, ISBN 1 902426 01 0, London 1999

A Framework for Prolog Debugging
with Luís Moniz Pereira,
in “Logic Programming - Proceedings of the 5th  International Conference and Symposium”, Kowalsky and Bowen (eds), MIT Press, ISBN 0-262-61056-6, Seattle 1988. See my PhD thesis.

All publications

Relevant past:

• National Microsoft Prize(Internet) while at Servisoft II, 2000
• Invited Associate Professor at Universidade Portucalense, 1996-2000
• PhD in Computer Science / artificial intelligence, New University of Lisbon 1992 (thesis here)
• Customer Support Engineer and Technical Director at Softlog-NeXT, 1990-92
• IBM Scientific Prize 1990, with a condensed version (in Portuguese) of the upcoming PhD thesis
• Associate consultant at Apple Computer's Advanced Technology Group, Intelligent Applications Group, Cupertino1988
• Electrical Engineer, University of Porto's Faculty of Engineering 1984.
• Founded Microshop, the second "micro computer store" in Porto, 1983

Back to Declarativa

Comments to mc@declarativa.com