Welcome

This castle hath a pleasant seat; the air
Nimbly and sweetly recommends itself
Unto our gentle senses



I am currently in Lisbon, Portugal. I am proud to be a member of the Logic Group at Centro de Matemática e Aplicações Fundamentais at Universidade de Lisboa, Lisbon. I am supported by a grant from the Fundação para a Ciência e a Tecnologia.

E-mail me at "my last name" at gmail dot com

Many people wonder how my last name is pronounced. I suggest the following: copy Усвяцов (which is how my last name is spelled in Russian) into a text-to-speech application, change the language to Russian, press "Say it", and listen carefully.