page updated 2017-10-29

Francisco Manuel Gonçalves Coelho

Biography

birth: 1968-07-30 @ Lisbon, Portugal
work: Professor Auxiliar @ Departamento de Informática / Universidade de Évora
academics:
- PhD in Computer Science @ Universidade de Lisboa;
- MSc in Mathematics @ Universidade de Lisboa;
research interests:
- Computer Science;
- Artificial Intelligence: Agent Autonomy;
- Artificial Intelligence: Bayesian Inference;
- Autonomous Aerial Robots;
email: fc ∈ uevora · pt
address: Departamento de Informática / Universidade de Évora / 7000-671 ÉVORA / Portugal
curriculum vitæ: short; formal (.pdf); online (DeGóis)
in the web: Research Gate and ORCID

It's men who make laws, and enforce them, and break them, and think the whole performance is wonderful. — Ursula K. Le Guin

Teaching

Courses

Workshops

LaTeX (Curso de Formação Transversal do IIFA), with supporting overlays, document templates and a cheat sheet.

MSc (2^nd Cycle)

Seminários (Seminars);
Inteligência Artificial (Artificial Intelligence);

Graduation (1^st Cycle)

Projeto Integrado I (Development Project);
Computação Gráfica (Computer Graphics);
Linguagens Formais e Autómatos (Formal Languages and Automata);

Students

Current

Tiago Moleirinho is using ROS to enhance the autonomy of an AR.Drone 2.0 quadcopter.
Tony Chaveiro is data-mining Learning Management Systems (e.g. moodle) to find ways to help teachers and students of e-Learning systems.

Former

Yushra Tehereem, The X in Balance – A serious game to learn how to solve mathematical equations, 2016-07-?? (MSc student).
Filipe Vieira, Autómatos Recursivos, 2010-01-19 (MSc student).

Research

My key interest is Artificial Intelligence applied to Mobile Robots, in particular to Autonomous Aerial Robots.

My research looks to Machine Learning, Bayesian Inference and Agent Autonomy. Occasionally, I also study Combinatorial Game Theory and Social Simulations.

I am senior research member of LISP – Laboratório de Informática, Sistemas e Paralelismo.
Previously, I was senior research member of the former LabMAg – Laboratório de Modelação de Agentes, now MAS-BioISI.

I've done some work on the simulation of physical systems, but this (strange) video is the only real result.

I've drafted a few cheat-sheets in Portuguese about

Events

I was the chair of the Seventh Workshop in Informatics of the University of Évora (JIUE 2017);

Publications

Books

Luís Bandeira, Francisco Coelho and Nuno Franco, Introdução à Matemática - Álgebra, Análise e Otimização, LIDEL, 2016;
Francisco Coelho and João Neto, Teoria da Computação, Computabilidade e Complexidade, Escolar Editora, 2010;

(Selected) Papers in Journals with Peer Review

Francisco Coelho and João Neto, A method for regularization of evolutionary polynomial regression, 59, Applied Soft Computing, 2017;
A. Carvalho, C. Santos, C. Dias, F. Coelho, J. Neto, R. Nowakowski, and S. Vinagre, On lattices from combinatorial game theory. Modularity and a representation theorem: Finite case., 527 (pp. 37-49), Theoretical Computer Science, 2014;
A. Carvalho, C. P. Santos, C. L. Dias, F. Coelho, J. P. Neto, and S. Vinagre, A Recursive Process Related to a Partizan Variation of Wythoff, 12, Integers, 2012;
Francisco Coelho and Helder Coelho, Meta agency and individual power, Web Intelligence and Agent Systems - An International Journal, IOS Press, 2010;
Francisco Coelho, José Félix Costa and Jerzy Mycka, The Euclid Abstract Machine, International Journal of Unconventional Computing 4, no. 3 223-248, 2008;

(Selected) Papers in Conference Proceedings

Francisco Coelho and Vitor Nogueira, Probabilistic Perception Revision in AgentSpeak(L), PRIMA 2015: Principles and Practice of Multi-Agent Systems, Springer Science + Business Media, 2015;
Francisco Coelho, José Félix Costa and Jerzy Mycka, The euclid abstract machine: Trisection of the angle and the halting problem, Unconventional Computation, Lecture Notes in Computer Science, vol. 4135, Springer Berlin/Heidelberg, 2006;

Communications

Francisco Coelho, System dynamics through individual behavior simulation, Dynamical Systems in Biology, Évora, Portugal, March 7, 2008;

Monographies

Francisco Coelho, Emergência e Colapso de Poder, Ph.D. thesis, Computer Science, Universidade de Lisboa, 2006;
Francisco Coelho, Polinómios, Réguas e Compassos — Problemas de decidibilidade e de computabilidade, M.Sc. thesis, Mathematics, Universidade de Lisboa, 1997;

Other

Software

xchg, XSLT sheets to convert OpenMarkov's ProbModelX (pgmx) ↔ XMLBIF (xml).
Genetic Algorithms for Polynomial Regression, R code for finding best polynomial regression using genetic algorithms.
Moodle Questions, Easier[ish] Moodle Questions.
CGT Toys, Various tools to explore ideas in combinatorial game theory.
Giraldo is a Beamer theme following the visual identity of Universidade de Évora.
TeseUE is a LaTeX class for MSc and PhD thesis submitted to Universidade de Évora.
jard links YAdrone, a java library interfacing the AR.Drone 2.0, with Jason, a java library for the BDI based AgentSpeak(L) deliberation process, in a JavaFX GUI.
Galaxity is a framework used to evaluate perception correction of AgentSpeak(L) agents with probabilistic methods.