Prof. Dr.-Ing. Sebastian Schlesinger

2020 – 2022 Principal Security Engineer und Security Architect, Zalando SE

2018 – 2019 IT-Experte (IT Strategy Consulting), Deutsche Bank AG

2014 – 2018 Wissenschaftler, Promotion (Dr.-Ing.)  in Formaler Verifikation im Embedded Systems Software Engineering, Technische Universität Berlin

2011 – 2013 Information Security Specialist, Deutsche Bank AG

2008 – 2011 IT-Service Owner, Software-Entwickler, Projekt Manager, IT-Amt der Bundeswehr

2005 – 2008 Projekt Manager, Instandhaltungseinrichtung der Luftwaffe

2004 Teamleiter Luftwaffe

2000 – 2004 Studium Informatik (Dipl.-Inf.), Universität der Bundeswehr München

1999 – 2000 Offizierschule der Luftwaffe

Information Security, Schwerpunkt Kryptographie, Application Security, Embedded Security

Formale Verifikation und Theoretische Informatik

Embedded Systems Engineering und Model Driven Design

Software Engineering verteilter, datenintensiver, robuster, skalierbarer, Machine Learning-unterstützter Applikationen

Infrastrukturen (Rechnersysteme, Betriebssysteme, Netzwerke)

Information Security

Funktionale Programmierung

Cloud Computing

Embedded Systems Engineering

Theoretische Grundlagen der Informatik

Offene Bachelor- und Masterthemen

• Aufbau CI/CD Pipeline (Continuous Integration / Continuous Deployment) in AWS (Amazon Web Services) und Entwurf eines Deployment Konzepts zur Unterstützung der Lehre und Forschung an der HWR
• Aufbau einer Machine Learning pipeline in AWS inkl.  AWS Sagemaker, Spark Cluster, Neo4j oder Neptune und Apache Airflow
• Implementierung einer Machine Learning-gestützten Marketing Plattform für Studiengänge an der Berlin Professional School
• Implementierung einer Online Learning Plattform für die HWR
• Formale Verifikation von hybriden Systemen mittels des Theorembeweisers Keymaera X
• Implementierung einer Abstract Representation von hybriden Simulink-Modellen (vorzugsweise in Scala)
• Implementierung eines Ansatzes zur formalen Verifikation von Verhaltensäquivalenz auf hybriden datenflussorientieren Sprachen
• Entwurf und Implementierung einer formalen Sprache und Semantik für hybride Systeme mit probabilistischen Elementen
• Implementierung eines ELK Stacks (Elasticache, Logstash, Kibana) in AWS inkl. Aufbau eines Forensik-Use Cases für die Security-Lehre
• Embedded Systems Engineering: Entwicklung von Treibern und eines Kommunikationsprotokolls für Lego Mindstorms
• Embedded Systems Engineering: Entwicklung einer Reinforcement Learning-Komponente für Lego Mindstorms
• Implementierung von Algorithmen in Quantencomputer

Automated Threat Detection mittels Graph-basiertem Machine Learning und Online Machine Learning

Formale Verifikation von eingebetteten hybriden Systemen mit Machine Learning-Anteilen

Moesus, N., Scholze, M., Schlesinger, S. and Herber, P., A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability, 2019, DOI: 10.1007/978-3-030-29157-0_2, in book: Software Technologies

Dissertation: Schlesinger, S. Formal verification of model refactorings for hybrid control systems, TU Berlin 2018

Moesus, N., Scholze, M., Schlesinger, S. and Herber, P., Automated Selection of Software Refactorings that Improve Performance, 13th International Conference on Software Technologies, 2018, DOI: 10.5220/0006837900330044

Schlesinger, S., Herber, P., Göthel, T. and Glesner, S., Equivalence Checking for Hybrid Control Systems modelled in Simulink, IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) (MVV 2018), DOI: 10.1109/QRS-C.2018.00101

Schlesinger, S., Verified Model Refactorings for Hybrid Control Systems, 2018, DATE Conference PhD Forum

Schlesinger, S., Herber, P., Göthel, T. and Glesner, S., Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow, Cyber Physical Systems. Design, Modeling, and Evaluation. CyPhy 2016. Lecture Notes in Computer Science, vol 10107, Springer, ISBN 978-3-319-51737-771-86.

Schlesinger, S., Herber, P., Göthel, T. and Glesner, S., Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models, ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications. IARIA XPS Press

Dyck, J., Giese, H., Lambers, L., Schlesinger, S. and Glesner, S.,Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations, Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

Schlesinger, S., Herber, P., Göthel, T. and Glesner, S., Towards the Verification of Refactorings of Hybrid Simulink Models, Proceedings of the Third International Workshop on Verification and Program Transformation (VPT 2015)