1. »
  2. Lehrstuhl für Systemsicherheit
  3. »
  4. Personen
  5. »
  6. Dr.-Ing. Tim Blazytko

Dr.-Ing. Tim Blazytko

System security

Post­doc

Address:
Ruhr-University Bochum
Faculty of Computer Science
System security
Universitätsstr. 150
D-44801 Bochum

Office Hours: By arrangement

E-Mail: tim.​blazytko@​rub.​de

Courses

Research

for­mal as­pects of re­ver­se en­gi­nee­ring and soft­ware se­cu­ri­ty sta­tic pro­gram ana­ly­sis sa­tis­fia­bi­li­ty mo­du­lo theo­ries (SMT) and SMT sol­vers boun­ded model che­cking pro­gram syn­the­sis


Publications