Prof. Dr.-Ing. Sebastian Schlesinger

FB 2 Duales Studium

Professur für Wirtschaftsinformatik

Prof. Dr.-Ing. Sebastian Schlesinger

Postanschrift
Hochschule für Wirtschaft und Recht Berlin
Alt-Friedrichsfelde 60

10315 Berlin

Besucheradresse
Campus Lichtenberg
Haus 1, Raum 1.1087
Alt-Friedrichsfelde 60
10315 Berlin

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 (Management, Cloud Security, Offensive (white hat) Security,  Application Security, Kryptographie)

Formale Verifikation und Theoretische Informatik

Embedded Systems Engineering und Model Driven Design

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

Cloud Computing, hauptsächlich AWS

Continuous Integration / Continuous Development, DevOps

Data Science / Statistik und Machine Learning

Diskrete Mathematik, Zahlentheorie, Lineare Algebra

Project Management Professional (PMP)

Six Sigma Black Belt

Consulting und Management

Infrastrukturen (Rechnersysteme, Betriebssysteme, Netzwerke)

Information Security

Funktionale Programmierung

Cloud Computing

Embedded Systems Engineering

Theoretische Grundlagen der Informatik

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
  • Formale Verifikation von hybriden Systemen mittels des Theorembeweisers Keymaera X
  • 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 Reinforcement Learning-Anteilen

Deep Fake Classification

Risikobewertungsmethoden im Informationssicherheitsmanagement

Security by Design

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)