Teaching

We have project suggestions for undergrad and graduate students. Some projects are related to my Lego robots lab, see for example this project. If you are interested in logic, modeling, and software engineering, you are welcome to contact us!

Fall 2012: Topics in Software Systems Modeling
Spring 2013: Seminar: modeling languages for software systems
Spring 2013: Workshop
Fall 2013: Topics in Software Systems Modeling
Fall 2013: Software 1
Spring 2014: Seminar: modeling languages for software systems
Spring 2014: Workshop
Fall 2014: Topics in Software Systems Modeling
Fall 2014: Software 1
Since 2015:
+ Seminar: modeling languages for software systems
+ Workshop
+ Topics in Software Engineering
+ Topics in Software Systems Modeling