M. Sc. Cornelius Aschermann

  • Wissenschaftliche/r Mitarbeiter/in - Lehrstuhl Systemsicherheit

Adresse

Ruhr-Uni­ver­si­tät Bo­chum
Lehr­stuhl für Sys­tem­si­cher­heit
Uni­ver­si­täts­stras­se 150
44780 Bo­chum

Raum
ID 2/449
Telefon:
(+49)(0)234 / 32 - 29916
Fax:
(+49)(0)234 / 32 - 08695
E-Mail:
cornelius.aschermann@ruhr-uni-bochum.de PGP Schlüssel

Forschung

  • decompilation and type inference
  • theoretical aspects of reverse engineering & SMT solving
  • program synthesis