KIT - Application-oriented Formal Verification

Professor
name	room	phone	e-mail
Beckert, Bernhard	224	+ 49 721 608 44025	beckertYoz2∂kit edu

Secretary
name	room	phone	e-mail
Meinhart, Simone	223	+49 721 608-44023	simone meinhartSbn4∂kit edu

Leader of a Young Investigator Group (YIG)
name	room	phone	e-mail
Gladisch, Christoph	309	+ 49 721 608 44324	gladischHod5∂ira uka de

Researchers
name	room	phone	e-mail
Bormer, Thorsten	202	+ 49 721 608 45253	bormerKiy5∂kit edu
Bruns, Daniel	234	+ 49 721 608 45268	brunsKbn1∂kit edu
Grebing, Sarah	202	+ 49 721 608 45253	grebingKmx9∂ira uka de
Greiner, Simon	226	+ 49 721 608 47318	simon greinerSly6∂kit edu
Klebanov, Vladimir	203	+ 49 721 608 45252	klebanovQtb2∂kit edu