1. Home
  2. /
  3. Lehrstuhl für Systemsicherheit
  4. /
  5. Personen
  6. /
  7. 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