European Master's Program in Computational Logic

Search:
Previous article
23 July 2010

EMCL Scholar Steffen Hölldobler back at NICTA

Steffen Hölldobler from TUD is back at NICTA again in July/August 2010.


After his first visit in 2010 from February to April Steffen Hölldobler from Technische Universität Dresden (TUD), Germany is 'down under' at NICTA in Canberra, Australia again.

Working with the Automated Reasoning Group headed by Peter Baumgartner, he continues looking into SAT solving and related issues during his stay.