Dr. rer. nat. Annette Stümpel

staff

Scientific Staff

E-mail:	stuempel [at] isp.uni-luebeck.de
Address:	Institut für Softwaretechnik und Programmiersprachen Universität zu Lübeck Ratzeburger Allee 160 23562 Lübeck Germany
Phone:	+49 451 3101 6512
Room:	46, first floor in building 64

Research interests

• streams
• distributed systems
• deductive design
• functional system specification
• functional programming

Courses: 

• Spezifikation und Modellierung
• Spezifikation und Modellierung