I have moved!

I am affiliated with University of Lisbon, Portugal.
This is my website.

My old UCD website is still available here.
This website is no longer maintained.

UCD's SAT Team website,
with software, papers, presentations, etc.
is still available here.