Dr. Moritz Sinn , MSc

Lecturer
Department of Computer Science and Security
Departments:
  • Computer Science and Security
  • Media and Digital Technologies
Study programmes:
  • Information Security (MA)
  • IT Security (BA)
  • Smart Engineering (BA)
Institute:
  • Institute of IT Security Research

Download CV

Selected Publications

From Shapes to Amortized Complexity
Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, In: International Conference on Verification, Model Checking, and Abstract Interpretation, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, pp. 205-225, URL: https://link.springer.com/chapter/10.1007/978-3-319-73721-8_10, 2017.