Dr. rer. nat. Annette Stümpel

staff

Scientific Staff

E-mail:	stuempel [at] isp.uni-luebeck.de
Address:	Institute for Software Engineering and Programming Languages Building MFC II Maria-Goeppert-Str. 3 23562 Lübeck Germany
Phone:	+49 451 3101 6512
Room:	3. Floor, Building MFC II

Research interests

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