M.Sc. Yannick Welsch
| E-Mail-Adresse | welsch at cs.uni-kl.de |
|---|---|
| Telefon | +49 - 631 - 205 - 26 23 |
| Fax | +49 - 631 - 205 - 34 20 |
| Postanschrift | TU Kaiserslautern Fachbereich Informatik, Gebäude 34 Postfach 30 49 D-67653 Kaiserslautern |
| Besucheradresse | Gebäude 34, Raum 407 Gottlieb-Daimler-Str. Zugang über Paul-Ehrlich-Str D-67653 Kaiserslautern Google-Karte |
- Functional, object-oriented and component-based programming
- Specification and verification techniques for programs.
- Implementation of a Type System for Object Immutability with Flexible Initialization (Günther Noack)
- Analyse von öffentlichen Java-Schnittstellen auf nicht-öffentlich sichtbare Typen (Mathias Weber)
Teaching
- Seminar Software-Engineering (winter term 2009/2010)
- Advanced Aspects of Object-Oriented Programming (summer term 2009)
- Seminar Software-Engineering (winter term 2008/2009)
- Software-Entwicklung I (winter term 2008/2009)
Research Funding
- 2009 - 2011: By the project "Highly Adaptable and Trustworthy Software using Formal Models" (HATS), which is funded by the Eurpean Union within the programme "Future and Emerging Technologies" (FET)
 |