As of October 2015, Peter Skocovsky is a researcher at the University of Ulm, Germany. For up-to-date information, see his homepage.
Between 2010 and 2014 he studied European Master’s Program in Computational Logic. His research interests were Answer-set Programming, in particular debugging of practical ASP Languages. He worked with João Leite and Hans Tompits. In 2012 he worked on Constraint Satisfaction Problems at [NICTA http://www.nicta.com.au/] under supervision of Toby Walsh.