• Software Quality & Certification: Static Analysis, Source-Code Analysis and Manipulation (SCAM), Testing, Verification
• Languages: Generic Programming, Functional Programming, Typed Languages
• Systems: Cyber-Physical Systems (CPS)

Five selected publications (last 3 years):

• N. Botta, A. Mandel, C. Ionescu, M. Hofmann, D. Lincke, S. Schupp, C. Jaeger, A Functional Framework for Agent-based Models of Exchange, Applied Mathematics and Computation, accepted Aug. 2011.
• JP Bernardy, P. Jansson, M. Zalewski, S. Schupp, Generic Programming with C++ Concepts and Haskell Type Classes, J. Functional Programming, 2010.
• G. Munkby, S. Schupp, Type Inference for Soft-Error Fault-Tolerance Prediction, Proc. 2009 IEEE/ACM Internat. Conf. on Automated Software Engineering (ASE 2009), Auckland, NZ, Nov. 2009.
• G. Munkby, S. Schupp, Improving Fault-Injection of Soft Errors Using Program Dependencies, 3rd Internat. IEEE Workshop Testing: Academic and Industrial Conference Practice and Research (TAICPART), Oct. 2008.
• M. Zalewski, S. Schupp, A Semantic Definition of Separate Type-Checking in C++ with Concepts, Journal of Object Technology, vol. 8, no.5, Sep.-Oct. 2009, pp. 105-1132.

• Software Analysis
• Software Engineering
• Verified Software Systems
• Functional Programming
• Pro/Seminar
  • WS 2011/12: Proseminar (topic: Cyber-Physical Systems) (see here)
  • WS 2011/12: Seminar (topic: Static Analysis and Verification) (see here)
• Project ("RIKA")
• Lab ("Softwarepraktikum")
• Oberseminar

Old courses and seminar topics

• Proseminar Software Testing (SS'11) || Seminar Static Analysis and Verification (SS'11) i || Seminar Cyber-Physical Systems (CPS) (WS'10) || NASA-Seminar (Northern Axis of Software Analysis), with U. Bremen and U. Oldenburg (SS'10) || Proseminar Software Testing (SS'10) || International Collegiate Programming Contest (CPC), with Prof. Turau, TUHH (SS'10) || Proseminar Software Analysis (WS'09) || Seminar Software-Implemented Hardware-Fault Tolerance (SIHFT) (SS'09)
• Koschke, Rainer; Schupp, Sibylle; Winter, Andreas (eds): Software-Analyse und Transformation, Tagungsband des gemeinsamen NASA Seminars der Softwaretechnik-Abteilungen der Universität Bremen, Hamburg-Harburg und Oldenburg. no. 1/2010, (Oldenburg Lecture Notes on Software Engineering) Software-Engineering, 2010 (here)

Interested in thesis work? Please include your CV and the list of courses you have taken when you get in touch with me.