Dipl.-Inf. Manuel Gesell

email

gesell (at) cs.uni-kl.de

was member of the group

from 07/2008 to 06/2014

left for

Bombardier, Mannheim

research interests

design and development of embedded systems
interactive verification of synchronous systems
ConceptCar case study

publications

all | authored | edited/supervised | talks