Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Mitarbeitende

Mitarbeitende

Leitung
Name Raum Gebäude Telefon E-Mail
Beckert, Bernhard 224 50.34 + 49 721 608-44025 beckertSau2∂kit edu
Sekretariat
Name Raum Gebäude Telefon E-Mail
Meinhart, Simone 223 50.34 + 49 721 608-44023 simone meinhartThg5∂kit edu
Wissenschaftliche Mitarbeitende
Name Raum Gebäude Telefon E-Mail
Bremer, Andreas 202 50.34 + 49 721 608-45648 andreas bremerRjb4∂kit edu
Färber, Henriette 227 50.34 + 49 721 608-43856 ubwtxRjb4∂student kit edu
Kern, Philipp 203 50.34 + 49 721 608-45252 philipp kernFlc1∂kit edu
Lanzinger, Florian 228 50.34 + 49 721 608-45648 lanzingerRjb4∂kit edu
Liu, Tianhai 227 50.34 + 49 721 608-43856 tianhai liuRjb4∂kit edu
Pfeifer, Wolfram 228 50.34 + 49 721 608-47318 wolfram pfeiferRjb4∂kit edu
Singh, Shobhit 203 50.34 + 49 721 608-44024 shobhit singhFlc1∂kit edu
Stübinger, Terru 247 50.34 + 49 721 608-44024 terru stuebingerFlc1∂kit edu
Teuber, Samuel 203 50.34 + 49 721 608-45252 teuberFlc1∂kit edu
Ulbrich, Mattias 229 50.34 + 49 721 608-44338 ulbrichRjb4∂kit edu
Weigl, Alexander 225 50.34 + 49 721 608-44324 weiglRjb4∂kit edu
Systemadministration
Name Raum Gebäude Telefon E-Mail
Kölmel, Ralf 331 50.34 + 49 721 608-43949 ralf koelmelRjb4∂kit.edu
Emeritus
Name Raum Gebäude Telefon E-Mail
Schmitt, Peter H. 310 50.34 + 49 721 608-44000 peter schmittRjb4∂kit.edu
Alumnae und Alumni
Name Affiliation E-Mail
Gladisch, Christoph Center for Research and Advance Engineering, Robert Bosch GmbH
Grahl, Daniel DB Systel GmbH
Klebanov, Vladimir SAP Deutschland SE & Co. KG
Bormer, Thorsten wizAI Solutions GmbH
Greiner, Simon Robert Bosch GmbH
Liu, Tianhai aicas GmbH
Grebing, Sarah Das Bundesarchiv
Herda, Mihai SAP Deutschland SE & Co. KG mihai herdaHqy9∂posteo de
Blatter, Lionel Max-Planck-Institut für Sicherheit und Privatsphäre lionel blatterHqy9∂mpi-sp org
Vielsack, Annika Informatik und ihre Didaktik, KIT-Institut für Theoretische Informatik (ITI) vielsackRjsdafsafb4∂kit edu
Pascual, Romain ARCADE Team (MICS Labor), Centrale Supélec (Paris-Saclay) romain pascualRjb4∂centralesepulec fr
Kirsten, Michael TCSTP-Gruppe an der LMU München michael kirstenFlc1∂ifi lmu de
Bachmeier, Joshua j bachmeierRjb4∂fzi de
Lohar, Debasmita IT University Kopenhagen debloh@itu.dk
Klamroth, Jonas Vector Informatik klamrothRjb4∂fzi de
Schiffl, Jonas usd GmbH jonas schifflRjb4∂kit edu