| Bruno Langenstein |
|
|
Bruno Langenstein Research Scientist DFKI GmbH Forschungsbereich Deduktion und Multiagentensysteme Stuhlsatzenhausweg 3 D-66123 Saarbrücken Germany Tel: +49 681 302 4131 Fax: +49 681 302 2235 Building 36, Room 208 email: langenstein@dfki.de | 
|
Bruno Langenstein is a researcher in formal software development. He has studied computer science
in Karlsruhe. Since 1994, he works as researcher in the Deduction- and Multi-Agent Systems Lab of
the DFKI.
He has done research on automated testing based on formal specifications
and is currently working on the verification of programs that use pointers.
