Pointers about my research and its impact:

	List of publications from DBLP.
	Citation data from Google Scholar.
	Citation data from Semantic Scholar. (Less conservative than Google Scholar.)
	ORCID ID 0000-0002-6632-3086.
	SCOPUS ID 6603779463. (Incomplete for CS.)
	Researcher ID C-9162-2009. (Very incomplete for CS.)

Additional information:

	Most of my team's work is kept on our Reason Lab wiki.
	I have been affiliated with University College Dublin (UCD), IE. I am currently a visiting professor at UCD. My old UCD webpage is still available here (but no longer maintained). My old team's wiki is still available here.
	I have also been affiliated with the University of Southampton, UK, with the University of Michigan, MI, USA, and with Instituto Superior Tecnico, Lisbon, Portugal.