Chad E. Brown: Teaching

Programming Systems

Chad E. Brown

Publications

Teaching

Contact

Jitpro

Satallax

Courses

• Introduction to Computational Logic (2014)
• Introduction to Computational Logic (2013)
• Introduction to Computational Logic (2012)
• Introduction to Computational Logic (2011)
• Introduction to Computational Logic (2010)
• Seminar: Advanced Topics in Computational Logic (WS 2009)
• Introduction to Computational Logic (2009)
• Introduction to Computational Logic (2008)

Current Students

• Jonas Kaiser (Masters thesis) 2011-2012
• Jonas Oberhauser (Bachelors thesis) 2012

Previous Students

• Gilles Nies (Bachelors thesis) 2011-2012
• Andreas Teuke (Bachelors thesis) 2010-2011
• Carsten Hornung (Bachelors thesis) 2010-2011
• Julian Backes (Masters thesis 2010)
• Matthias Höschele (Bachelor thesis 2009)
• Christine Rizkallah (Masters thesis 2009)
• Julian Backes (Bachelor thesis 2009)
• Xin Zhang (Bachelor thesis 2008)