PVS Group Members

Head

Prof. Dr. habil Thomas Ludwig Office: Room 018 Phone: +49-6221-54-4968 Fax: +49-6221-54-4404 Email: thomas.ludwig@informatik.uni-heidelberg.de (PGP supported) Web: pvs.informatik.uni-heidelberg.de/ludwig/

Researchers

Alexander Sinsel Office: Room 014 Phone: +49-6221-54-4392 Fax: +49-6221-54-4404 Email: alexander.sinsel@informatik.uni-heidelberg.de Web: pvs.informatik.uni-heidelberg.de/sinsel/

Julian Kunkel Office: Room 020 Phone: +49-6221-54-4412 Fax: +49-6221-54-4404 Email: julian.kunkel@informatik.uni-heidelberg.de Web: pvs.informatik.uni-heidelberg.de/kunkel/

	Olga Mordvinova Office: Room 020 Phone: +49-6221-54-4984 Fax: +49-6221-54-4404 Email: olga.mordvinova@informatik.uni-heidelberg.de Web: pvs.informatik.uni-heidelberg.de/mordvinova/
	Hipolito Vasquez Office: Room 019 Phone: +49-6221-54-4421 Fax: +49-6221-54-4404 Email: Web: pvs.informatik.uni-heidelberg.de/vasquez/

Secretary

Karin Tenschert Office: Room 021 Phone: +49-6221-54-4973 Fax: +49-6221-54-4404 Email: sekretariat at informatik.uni-heidelberg.de

Student Group Members

External