Researcher and technology consultant
Andreas Ulrich received his PhD on specification-based testing for concurrent systems from Magdeburg University in 1998. Since then he works as a researcher and technology consultant at Siemens Corporate Technology in the area of system modeling, analysis and testing. He has authored more than 60 publications at international conferences, workshops and journals.
06. February 2018 - 14:00-14:45
Di 2.2 - Formal Methods & Emergent Technologies