Dr. Stephan Scheele

Post Doc, Fraunhofer IIS Research Group Explainable Artificial Intelligence

 

Office: WE5/04.129
Office hours: by appointment

Phone: +49 951 863-2802 
Email: stephan.scheele(at)iis.fraunhofer.de, stephan.scheele(at)uni-bamberg.de

Old homepage at Informatics Theory Group: link 

 

        

05/2020 –

present

Research associate/Postdoc, Group Explainable AI

Fraunhofer IIS, Department Sensory Perception & Analytics, Erlangen, Germany

10/2018 – 04/2020

Research associate/Postdoc, Software Technologies Research Group

The Otto-Friedrich-University of Bamberg, Faculty of Information Systems and Applied Computer Sciences (WIAI), Germany

10/2015 – 09/2018

Lead software architect and team lead

Robert Bosch GmbH, Car Multimedia (CM), Renningen Research Campus, Germany

06/2010 – 02/2015

 

 

04/2007 -

05/2010

Research Assistant / PhD studies, Informatics Theory Group

The Otto-Friedrich-University of Bamberg, Faculty of Information Systems and Applied Computer Sciences (WIAI), Germany

 

Research Assistant, Informatics Theory Group

The Otto-Friedrich-University of Bamberg, Faculty of Information Systems and Applied Computer Sciences (WIAI), Germany

03/2007

Master of Computer Science

Ulm University, Faculty of Computer Science, Germany

06/2004

Diplom-Wirtschaftinformatiker (FH)

Deggendorf Institute of Technology (Technische Hochschule Deggendorf), Faculty of Business Administration & Business Informatics, Germany

 

Research Interests

  • Explainable Artificial intelligence
  • Machine Learning
  • Stream-based computing and reasoning
  • AI for embedded systems, tinyML
  • Process Mining
  • Knowledge representation and automated decision procedures
  • Constructive semantics and proof theory

 

Further Interests

  • Synchronous model of computation, semantics of programming languages
  • Model-based software engineering
  • Micro-service architecture for embedded systems
  • Automotive HMI in driver information systems and infotainment
  • Data Science, Analytic methods for SAP ERP
  • Agile processes, Scrum and Devops

 

Scheele, S. (2004), Design and Prototypical Implementation of a Model for the Analysis of Website Usage by applying Data Mining Methods in the Domain of Consumer Electronics (in cooperation with LOEWE AG), Diploma Thesis, Deggendorf Institute of Technology (Technische Hochschule Deggendorf)

Scheele, S. (2007), Tableau-based Deduction and Explanation of Subsumption Relationships, Master's Thesis,University of Ulm

Liebig, T. & Scheele, S. & Lambertz, J. (2007), Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods, in Calvanese, D.; Franconi, E.; Haarslev, V.; Lembo, D.; Motik, B.; Turhan, A.-Y. & Tessaris, S., ed. (2007), Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, Vol. 250, CEUR-WS.org.

Liebig, T. & Scheele, S. (2008), 'Explaining Entailments and Patching Modelling Flaws', KI22(2), 25-27.

Mendler, M. & Scheele, S. (August 2008), Constructive Description Logic cALC as a Type System for Semantic Streams in the Domain of Auditing., in 'Logics for Agents and Mobility (LAM'08), Hamburg'.

Mendler, M. & Scheele, S. (2008), Towards Constructive DL for Abstraction and Refinement, in Baader, F.; Lutz, C. & Motik, B., ed. (2008), Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008, Vol. 353, CEUR-WS.org.

Mendler, M. & Scheele, S. (2009), Towards a Type System for Semantic Streams. Stream Reasoning 2009, in 'Stream Reasoning 2009, Heraklion, Crete'.

Mendler, M. & Scheele, S. (2009), Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics, in Grau, B. C.; Horrocks, I.; Motik, B. & Sattler, U., ed. (2009), Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009, Vol. 477, CEUR-WS.org.

Mendler, M. & Scheele, S. (2009), 'Towards Constructive DL for Abstraction and Refinement', Journal of Automated Reasoning.

Mendler, M. & Scheele, S. (2010), 'Towards a Simply Typed CALculus for Semantic Knowledge Bases', 3rd Workshop on Logics for Agents and Mobility (LAM) 

Michael, M. & Stephan, S. (2011), 'Cut-free Gentzen calculus for multimodal CK', Information and Computation, Volume 209, Issue 12, December 2011, Pages 1465-1490, ISSN 0890-5401

Mendler, M. & Scheele, S. (2013), On the Computational Interpretation of CKn for Contextual Information Processing - Ancillary Material, Technical Report 91/2013, Faculty of Information Systems and Applied Computer Sciences, The Otto-Friedrich-University of Bamberg, Germany

Mendler, M. & Scheele, S. (2014), On the Computational Interpretation of CKn for Contextual Information Processing, Fundamenta Informaticae, Vol. 130.

Scheele, S. (2015), Model and Proof Theory of Constructive ALC: Constructive Description Logics, PhD Thesis

Gretz, F. & Grosch, F-J. & Mendler, M. & Scheele, S. (2020), Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech, 2020 Forum for Specification and Design Languages (FDL)

Gretz, F. & Grosch, F-J. & Mendler, M. & Scheele, S. (2020), Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech, Technical Report, https://www.blech-lang.org/research/

Research Projects

  • Semantic Processing and Auditing in Constructive Modal Description Logic (SPACMoDL), 2008 - 2011, University of Bamberg

  • Development of the tool dab:Exporter for efficient massdata extraction, 2003 - 2004, research group “Digitale Datenanalyse”, Deggendorf Institute of Technology

 

Talks

Scheele, S. (2017), Closing the Gaps in Model Driven Software Engineering (MDSE), Computer Science Seminar, Software Technologies Research Group, Faculty of Information Systems and Applied Computer Sciences, University of Bamberg, November 17, 2017

Scheele, S. (2014), Constructive ALC: Model and Proof Theory, Invited talk, Computer Science Seminar, Dipartimento di Informatica, Universita ́ degli Studi di Milano, December 15, 2014

Scheele, S. (2013), Semantic Methods & Ontologies in Software Engineering, Siemens AG, Erlangen, January 22, 2013

Scheele, S. (2012), Simply Typed Description Calculus, Invited talk, Computer Science Seminar, Diparti- mento di Mathematica e Informatica, Universita ́ Degli Studi di Udine, September 20, 2012

Scheele, S. (2012), Towards Constructive Description Logics, Invited talk, Computer Science Seminar, Di-partimento di Informatica, Universita ́ degli Studi di Milano, September 12, 2012

Scheele, S. (2011), SPACMoDL - Semantic Processing and Auditing in Constructive Modal Description Logic - State of Affairs-VISFSAE/FSAE2. DateveG, Nürnberg, August 2011

Scheele, S. (2010), Towards a Simply Typed CALculus for Contextual Information Flow, 17th International Workshop on Types for Proof and Programs, Warsaw, Poland, October 13- 16, 2010

Scheele, S. & Kuhndörfer, T. (2010), SPACMoDL - Semantic Processing and Auditing in Constructive Modal Description Logic - State of Affairs-VISFSAE. Datev eG, Nürnberg, January 2010

Scheele, S. (2010), Project SPACMoDL, State of Affairs & Forecast for Future Work. Monday Afternoon Club (MAC), University of Bamberg, January 2010

Scheele, S. (2009), Towards a Type System for Semantic Streams. Stream Reasoning 2009, Heraklion, Crete, May 31, 2009

Scheele, S. (2009), SPACMoDL - Semantic Processing and Auditing in Constructive Modal Description Logic - StateofAffairs-FSAE1.DateveG,Nu ̈rnberg,January2009

Scheele, S. (2008), Semantic Stream Processing in Business Auditing. International Open Workshop on Synchronous Programming (Synchron 2008) Aussois, December 2008

Scheele, S. (2008), Towards Constructive Description Logics for Abstraction and Refinement. Int’l Workshop on Description Logic (DL 2008), Dresden, May 2008.

Scheele, S. (2008), cALC: Towards Constructive DL for Abstraction and Refinement. 24th British Colloquium for Theoretical Computer Science (BCTCS 2008), Durham, April 2008

Scheele, S. (2008), Towards Constructive Description Logic for Abstraction and Refinement. Theory Seminar, University of Birmingham, April 2008

Scheele, S. (2007), Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods, Int’l Workshop on Description Logic (DL 2007), Brixen-Bressanone, June 2008.

Scheele, S. (2006), Semantisch orientierte Verarbeitung von Massendaten in der Betriebs- und Wirtschafts- prüfung,VDI/VDEMünchen,June2006

Scheele, S. (2006), SAP Prüfung in der Praxis - vom Datenzugriff bis zum fertigen Ergebnis, Cebit 2006, Hannover, March 2006

Herde, G. & Diewald, B. & Scheele, S. & Wenig, S. (2006), Z1-Zugriff auf archivierte Unternehmensdaten - von der Archivierung bis zur Betriebsprüfung am Beispiel der GLOBUS SB Warenhaus Holding, Cebit2006, Hannover, March 2006

 

Editorial Activities

Peer review for international journals and conferences (selection):

  • Workshop on High-Level Declarative Stream Processing
  • Journal of Logic and Computation on Intuitionistic Modal Logics and Applications
  • International Workshop on Automated Verification of Critical Systems
  • Logic Journal of the IGPL
  • Journal of Applied Non-Classical Logics
  • DFDDA – Deggendorfer Forum zur Digitalen Datenanalyse