Research News
Stefan Löwe and Philipp Wendler submitted two CPAchecker configurations to the 2nd Competition on Software Verification and won the first and second place in category Overall, as well as 9 other medals. Check out the full results.
Teaching News
| Date | Message |
|---|---|
| May 22, 2013 Wendler, Philipp |
Updated information on topics for Bachelor and Master theses
If you are interested in writing a Bachelor or Master thesis in one of our research projects , please visit our homepage.
|