Jacques Robin’s Curriculum Vitae


March 1995: Ph.D. in Computer Science, Columbia University, New York.

September 1985: "Diplôme d'Etudes Approfondies in Artificial Intelligence, Université Pierre et Marie Curie (UMPC), Paris, France (MS equivalent).

September 1985: "Diplôme d'Ingénieur" Ecole Supérieure d'Informatique-Electronique-Automatique, Paris, France (equivalent to a BS in Engineering).

September 1984: "Licence" in Mathematics, Université Denis Diderot, Paris, France (BS equivalent).

Professional Experience

·   Research

Since June 2002: Adjunct Professor, Centro de Informática, Universidade Federal do Pernambuco, (CIn-UFPE), Recife, Brazil.

·   Current projects as principal investigator:

o        ORC2AS (Object, Rules, Constraints and Components for Agent-based Simulations) model-driven, agent-oriented simulation engineering.

o        ROARS (Reuse-Oriented Automated Reasoning Software) model-driven, aspect-oriented engineering of an extensible automated reasoning component framework based on upgrades of the KobrA method and the CHRÚ rule-based constraint programming language

o        C4RBPC (Components for Rule-Based Constraint Programming) extending CHRÚ to support engineering constraint solvers by assembling rule bases encapsulated as software components

o        MODELOG (Model-Oriented Development with Executable Logical Object Generation) fully automated generation through ATL model transformations of Flora executable object-oriented logic programs from UML models with OCL constraints

·   Past projects as principal investigator:

o        MAVERICK (Model-driven Architecture for Voice-Enabled Recommendation, Internet Content and Knowledge), model-driven architecture integrating ontologies, web services, voice portals and natural language generation to provide voice browsing access to web content with case study on a ubiquitous movie recommendation site.

o        Cigolf, induction from example data of object-oriented logic programs in Flora.

o        MRFC (Maracatu Robô Futebol Clube), model-driven engineering of soccer agent team and team analysis and debugging environment for RoboCup simulated league.

·   Past project as collaborator:

o        Smart-es, machine learning methods for adaptive agents in e-commerce, web information gathering and games (cooperation with LIP6-UMPC, Paris, France, funded by CAPES-COFECUB).

o        Virtual Learning Partners with Adaptive Behaviors, intelligent facilitator agents in educational collaborative systems (funded by CNPq).

June 2004-May 2005: Visiting Researcher, Laboratoire d’Informatique de Paris 6, Université Pierre et Marie Curie, (LIP6-UPMC), Paris, France.

December 1997 - May 2002: Visiting Professor, Departamento de Informática, Universidade Federal do Pernambuco, (DI-UFPE), Recife, Brazil.

·   Projects as principal investigator:

o       MATRIKS (Multidimensional Analysis and Textual Reporting of Insight Knowledge Summaries), automated generation of natural language hypertexts that summarize results from knowledge discovery processes, with case study in outlier mining in OLAP databases (funded by CNPq).

o       ExpanSyn, empirical measurement of web search query expansion based on synonyms and hyponyms encountered in lexical database WordNet. 

December 1995 - November 1997: Post-doctoral researcher, Departamento de Informática, Universidade Federal do Pernambuco, (DI-UFPE), Recife, Brazil.

·   Projects as participant:

o        BRIGHT, distributed and knowledge-based web search (funded by CNPq)

o        SADE, automated generation of natural language software documentation from formal software specification in modular object-oriented Z (funded by CNPq)

o        UNL (Universal Networking Language), web page machine translation using language-neutral inter-lingua (funded by United Nation University)

April - October 1995: Researcher, Columbia University, Computer Science Department, New York, USA.

·   Project as participant:

o        MAGIC (Multimedia Automated Generation for Intensive Care), automated generation of multimedia presentation coordinating text, graphics, speech and animation with case study in ICU patient condition summaries.

·   Consulting

Since March 2006: SWQuality, Recife, Brazil.

January - December 2003: Centro dos Estudos e Sistemas Avançados do Recife, (CESAR), Brazil.

  • Specification of the mission, administrative and fundraising policies of an information technology innovation center in downtown Recife's IT cluster (Porto Digital).


May 1993 - October 1995: Research consultant, Bellcore, Morristown, New Jersey, USA,

  • Automated generation of business reengineering plans natural language summaries from workflows.
  • Automated generation of telephony equipment installation plans natural language summaries from planning system reasoning traces.

·   Research advising


Concluded PhD. Thesis:

·   Franklin Ramalho, MODELOG: Model-Oriented Development with Executable Logic Object Generation, 2007, CIn-UFPE.

·   Hendrik Macedo, A Software Architecture for Ubiquitous Web Browsing with Application to Recommendation Systems, 2006, CIn-UFPE.

·   Rosely Lacerda, Gramática do Sintagma Nominal Português em um Formalismo Computacional. (A Computational Grammar of the Portuguese Noun Phrase), 2001, Literature and Linguistics Department, Universidade Federal de Alagoas (as co-advisor).

·   Eloi Favero, Generating hypertext summaries of quantitative data in multi-dimensional databases, 2000, CIn-UFPE.


Concluded Master’s Thesis:

·   Klebson Silva, Ambiente de Análise e Depuração de Sistemas Multi-Agente: Aplicação ao Desenvolvimento de Time de Futebol de Robô (Analysing and degugging multi-agent systems based on object-oriented logic with application to RoboCup), 2004, CIn-UFPE.

·   Erivan Andrade, Indução de Programas Lógicos Orientados a Objetos. (Induction of object-oriented logic programs). 2003, CIn-UFPE.

·   Alexandre Damasceno, Desenvolver Agentes de Futebol com Objetos e Lógica (Developing soccer agents with objects and logic). 2003, CIn-UFPE.

·   Fabio Pereira, Um Componente de Mineração de Exceções em Cubos OLAP (A component for outlier mining in OLAP databases). 2003, CIn-UFPE.

·   Marcelino Pereira, SKDQL: Uma Linguagem Declarativa de Especificação de Tarefas e Consultas de Descoberta de Conhecimento em Banco de Dados e sua Implementação (SKDQL, a declarative language for specifying knowledge discovery queries and tasks and its implementation). 2002, CIn-UFPE.

·   Franklin Ramalho, Avaliando o Uso de um Tesaurus no Processo de Expansão Automática de Consultas para Engenhos de Busca na Web (Evaluation of thesaurus-based query expansion for web search engines). 2000, CIn-UFPE.

·   Natasha Queiroz, DOODI: uma API para integracao de bancos de dados multidimensionais e sistemas dedutivos (DOODI: An API to connect OLAP and object-oriented deductive databases). 2000, CIn-UFPE.

·   Robson Fidalgo, JODI: uma API Java para OLAP (JODI: a Java API to access OLAP databases 2000, CIn-UFPE.


On-going advising activities: three PhD. Thesis and seven Master's Thesis.


·  Teaching:

Since March 1996, Centro de Informática, Universidade Federal do Pernambuco, (CIn-UFPE), Recife, Brazil.

·   Graduate courses:

o        Software reuse

o        Symbolic artificial intelligence

o        Advanced topics in symbolic artificial intelligence

o        Intelligent agents

o        Data mining and knowledge discovery

o        Natural language processing

·   Undergraduate courses:

o        Model-driven engineering and software components

o        Machine learning

o        Software development project

o        Introduction to artificial intelligence

o        Logic programming

September 1989 - May 1990: Columbia University, New York, USA

·  Undergraduate course: Lisp programming



§         Franklin Ramalho, Jacques Robin and Ulrich Schiel. Concurrent transaction frame logic formal semantics for UML activity and class diagrams. Electronic Notes in Computer Science, 95(17), 2004.

§         Franklin Ramalho and Jacques Robin.  Avaliação empiríca da  expansão de consultas baseadas em Thesaurus: aplicação a engenhos de busca na web. Revista de Informática Teórica e Aplicada (RITA), 10(2), 2004

§         Franklin Ramalho, Jacques Robin and Roberto Barros. XOCL, an XML language for representing logical constraints in object-oriented models. Journal of Universal Computer Science, 9(8), Springer, 2003.

§         Flávia Barros and Jacques Robin. Processament de Linguagem Natural. Revista Eletrónica de Iniciação Científica, 1(2), 2001.

§         Eloi Favero and Jacques Robin. Um ambiente de desenvolvimento de gramáticas computacionais para o português. Revista de Informática Teórica e Aplicada (RITA). Editora do Instituto de Informática da UFRGS. 1999.

§         Michael Elhadad , Kathy McKeown and Jacques Robin. Floating constraints in lexical choice. Computational Linguistics, 23(2), 1997.

§         Jacques Robin and Kathy McKeown. Empirically designing and evaluating a new revision-based model for summary generation. Artificial Intelligence, 85(1-2). 1996.

§         Kathy McKeown, Jacques Robin and Karen Kukich. Generating concise natural langage summaries. Information Processing and Management, 31(5). 1995.

Book Chapters and Lecture Notes in Computer Science

§         Hendrik Macedo and Jacques Robin. Increasing profitability : voice-based browsing for recommendation system web services. Lecture Notes in Artificial Intelligence, 3538, Springer, 2005.

§         Marcelino Pereira and Jacques Robin. SKDQL, a structured language to specify knowledge discovery processes and queries. Lecture Notes in Artificial Intelligence 3171, Springer, 2004

§         Eloi Favero and Jacques Robin. Using OLAP and Data Mining for Content Planning in Natural Language Generation. Lecture Notes in Computer Science, 1959, Springer, 2000.

§         Jacques Robin. Evaluating the robustness and scalability of revision-based natural langage generation. Lecture Notes in Computer Science 1159. 1996.

§         Karen Kukich, Kathy McKeown, James Shaw, Jacques Robin, Neil Morgan and Jim Phillips. User-needs analysis and design methodology for an automated document generator. In Current Issues in Computational Linguistics: In Honor of Don Walker. Zampolli, A., Calzolari, N. and Palmer, M. Eds. Kluwer Academic Press, Boston. 1994

§         Jacques Robin. A revision-based generation architecture for reporting facts in their historical context. In New Concepts in Natural Language generation: Planning, Realization and Systems, Horacek, H. and Zock, M. Eds. Frances Pinter, London and New York. 1993

§         Michael Elhadad and Jacques Robin. Controlling content realization with functional unification grammars. Lecture Notes in Computer Science 587, 1992.

§         Kathy McKeown, Michael Elhadad, Yumiko Fukumoto, Jong Lim, Christina Lombardi, Jacques Robin and Frank Smadja.
Text generation in COMET. In Current Research in Natural Language generation. Dale, R., Mellish, C.S. and Zock, M. Eds. Academic Press. 1990.

Conference and Workshop Proceedings

§         Jairson Vitorino, Jacques Robin and Thom Frühwirth. Fast Prototyping of Intelligent Components: Towards a Model-driven Compiler for Rule-Based Constraint Programming. 8th International Conference on Enterprise Information System (ICEIS'2007). Madeira, Portugal. 2007.

§         Marc Meister, Khalil Djelloul and Jacques Robin. A Unified Semantics for Constraint Handling Rules in Transaction Logic. 9th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'2007). Tempe, AZ, USA, 2007.

§         Jacques Robin and Jairson Vitorino. ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components. 20th Workshop on Logic Programming (WLP'2006), Vienna, 2006.

§         Xavier Blanc, Franklin Ramalho and Jacques Robin. Metamodel reuse with MOF. ACM/IEEE 8th International Conference on Model-Driven Engineering, Languages and Systems. (MoDELs’2005). Montego Bay, Jamaica. 2005.

§         Hendrik Macedo, Jacques Robin and Roberto Barros. Web Engineering meets Natural Language Processing: a Vocal Interface Generation Practice.  Simpósio Brasileiro de Sistemas Multimídia e Web. Poços de Caldas, MG, Brazil. 2005.

§         Luciano Barbosa, Ana Carolina Salgado, Francisco de Carvalho, Jacques
Robin and Juliana Freire. Looking at both the Present and the Past to Efficiently Update Replicas of Web Content. ACM International Workshop on Web Information and Data Management (WIDM’2005),
Bremen, Germany, 2005.

§         Hendrik Macedo and Jacques Robin. A mediator architecture providing ubiquitous access via voice portals, web services, ontologies and natural language generation. International Information and Telecommunication Technologies Symposium, (IITTS’2004), São Carlos, Brazil, 2005.

§         Fábio Pereira and Jacques Robin. Intelligent Agents Tutoring Environment. Simpósio Brasileiro de Informática em Educação, (SBIE'2005), Juiz de Fora, Brazil, 2005.

§         Franklin Ramalho and Jacques Robin.  Mapping UML class diagrams to object-oriented logic programs for model-driven development. Third UML Workshop in Software Model Engineering (WISME’2004), Lisbon, Portugal, 2004.

§         Fabio Pereira and Jacques Robin. Um componente de mineração de exceções em cubos de dados OLAP. Simpósio Brasileiro de Sistemas de Informação (SBIS’2004). Porto Alegre, Brazil, 2004.

§         Franklin Ramalho, Jacques Robin and Ulrich Schiel. Concurrent transaction frame logic formal semantics for UML activity and class diagrams. Sixth Brazilian Symposium on Formal methods, (WMF'2003), Campina Grande, Brazil, 2003.

§         Jacques Robin and Franklin Ramalho: Can ontologies improve web search engines effectiveness before the advent of the semantic web? Simpósio Brasileiro de Banco de Dados, 2003, (SBBD'2003) Manaus, Brazil.

§         Erivan Andrade and Jacques Robin. Inductive Object-Oriented Logic Programming. Proceedings of the Workshop on Implementation Technology of Computational Logic Systems (ITCLS), organized by the European Network of Excellence in Computational Logic (CoLogNet) at Formal Methods Europe (FME'03), Pisa, Italy, 2003.

§         Ryan Albuquerque, Paulo Guedes, Carlos Figueira, Jacques Robin and Geber Ramalho. Embedding J2ME-based Inference Engine in Handheld Devices: The KEOPS Case Study. Workshop on Ubiquitous Agents on embedded, wearable and mobile devices, Bologna, Italy, 2002

§         Jacques Robin and Eloi Favero. Natural Language Generation Meets Knowledge Discovery in Databases. Third International Conference on Data Integration and Web-based Applications and Services, 2001, Linz, Austria (IIWAS´2001).

§         Jacques Robin and Franklin Ramalho. Evaluating Wordnet-based Query Expansion in a Web Search Engine Setting. International Workshop on Information Retrieval, 2001, Oulo, Finland (IR´2001). Best Paper Award.

§         Jacques Robin and Eloi Favero. Content Aggregation in Natural Language Hypertext Summarization of Data Mining Discoveries. First International Conference on Natural Language Génération, 2000, Mitzpe-Ramon, Israël (INLG´2000).

§         Jacques Robin. Evaluating the portability of revision rules for incremental summary generation. 34th Annual Meeting of the Association for Computational Linguistics. 1996, Santa Cruz, CA, USA (ACL'96).

§         Becky Passoneau, Karen Kukich, Jacques Robin, Vasileios Hatzivassiloglou, Larry Lefkowitz and Hongyang Jin. Generating Summaries of Work Flow Diagrams. International Conference on Natural Language Processing and Industrial Applications. 1996, Moncton, New Brunswick, Canada (NLP+IA'96). 

§         Jacques Robin. Automatic generation and revision of natural langage summaries providing historical background. 11th Brazilian Symposium on Artificial Intelligence, 1994, Fortaleza, CE, Brazil (SBIA'94)

§         Jacques Robin and Kathy McKeown.  Corpus analysis for revision-based generation of complex sentences. 11th National Conference on Artificial Intelligence, 1993, Washington DC, USA (AAAI'93).

§         Kathy McKeown, Jacques Robin and Michael Tanenblatt. Tailoring lexical choice to the user's vocabulary in multimedia explanation generation. 31st Annual Meeting of the Association for Computational Linguistics, 1993, Columbus, OH, USA (ACL'93).

§         Kathy McKeown, Steve Feiner , Jacques Robin, Doree Seligmann and Michael Tanenblatt. Generating cross-references for multimedia explanation. Proceedings of the 10th National Conference on Artificial Intelligence. 1992, San Jose, CA, USA (AAAI'92).

Research interests

·   Software Reuse: Model-Driven, Component-Based, Aspect-Oriented and Agent-Oriented Software Engineering

·   Automated Reasoning: Rule-Based Constraint Programming, Object-Oriented, Abductive, Inductive and Probabilistic Logic Programming

·   Multi-Agent Simulations for Games and Tutoring Systems

Current collaborations

Contact information:

·        robin.jacques@gmail.com

  • Centro de Informática, Universidade Federal de Pernambuco, Caixa Postal 7851, Cidade Universitária, Recife, PE 507032-970, Brazil.
    Tel: +55-81 2126-8430 (ext. 4361), Fax: +55-81 2126-8438
  • More information: http://www.cin.ufpe.br/~jr

Last Updated: 06/03/2007