• Office: APB/2045
  • Phone: Telegram @menoc_sk27
  • Email:

I wear the hats of Researcher, Data Scientist and Software Engineer since 2017.
After graduating from the Visual Computing track of the Computational Modeling and Simulation master program at TU Dresden in 2021, I joined the IMLD as part of the Collaborative Research Centre “Foundations of Perspicuous Software Systems” funded by the DFG, where I investigate and develop visualization techniques for complex knowledge-based systems, interactive exploration of visual models and visual analysis of cyber-physical systems.
My research interests are, fundamentally:

  • Explainability of machine learning and symbolic artificial intelligence models through interactive visualization.
  • Gamification of scientific knowledge and endeavors in various visualization environments.

Publications (2)

  • Year 2022 (1 Publications)

  • Evonne: Interactive Proof Visualization for Description Logics (System Description)

    Evonne: Interactive Proof Visualization for Description Logics (System Description)

    Alrabbaa, C.; Baader, F.; Borgwardt, S.; Dachselt, R.; Koopmann, P.; Méndez, J.

    To appear in Automated Reasoning - 11th International Joint Conference, IJCAR 2022.IJCAR 2022, Haifa, Israel.Springer,2022.

    @inproceedings{ABBDKM-IJCAR22,
       author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Raimund Dachselt and Patrick Koopmann and Juli\'{a}n M\'{e}ndez},
       title = {Evonne: Interactive Proof Visualization for Description Logics (System Description)},
       booktitle = {Automated Reasoning - 11th International Joint Conference, IJCAR 2022},
       series = {Lecture Notes in Computer Science},
       year = {2022},
       month = {8},
       location = {Haifa, Israel},
       publisher = {Springer}
    }

    List of additional material

  • Year 2021 (1 Publications)

  • Visual Analysis of Hyperproperties for Understanding Model Checking Results

    Visual Analysis of Hyperproperties for Understanding Model Checking Results

    Horak, T.; Coenen, N.; Metzger, N.; Hahn, C.; Flemisch, T.; Méndez, J.; Dimov, D.; Finkbeiner, B.; Dachselt, R.

    In IEEE Transactions on Visualization and Computer Graphics.VIS '21, Virtual Event.IEEE,2022.10.1109/TVCG.2021.3114866

    @article{Horak2021VisualAnalysisHyperproperties,
       author = {Tom Horak and Norine Coenen and Niklas Metzger and Christopher Hahn and Tamara Flemisch and Juli\'{a}n M\'{e}ndez and Dennis Dimov and Bernd Finkbeiner and Raimund Dachselt},
       title = {Visual Analysis of Hyperproperties for Understanding Model Checking Results},
       journal = {IEEE Transactions on Visualization and Computer Graphics},
       year = {2022},
       month = {10},
       location = {Virtual Event},
       doi = {10.1109/TVCG.2021.3114866},
       publisher = {IEEE}
    }

    List of additional material

    Video Preview, Video, Online Demo

Lectures and Courses (3)

Summer Term 2022

Master's Theses (2)

  • Avtar Singh

    Visualizing irreversible data transformations: Interactive exploration of highly dimensional market segmentation data

    Avtar Singh May 2nd, 2022 until October 10th, 2022

    Supervision: Julián Méndez, Raimund Dachselt

  • Ananya Avinash Bejai

    Can I trust my model?: Visual Analysis of Multivariate Outputs of Supervised Machine Learning Models for Image Data

    Ananya Avinash Bejai July 12th, 2021 until December 13th, 2021

    Supervision: Tom Horak, Annett Mitschick, Julián Méndez, Raimund Dachselt

Student Project Theses (1)

  • Markus Wieland

    Concepts for interactive exploration and explanation proofs and ontologies

    Markus Wieland May 9th, 2022 until October 10th, 2022

    Supervision: Julián Méndez, Raimund Dachselt

Student Research Projects (3)

  • Jiaxiang Shan

    Gamification of Science: Creation of Input Data for Handwriting Recognition [CMS-PROJ, WiSe 21/22]

    Jiaxiang Shan November 1st, 2021 until March 31st, 2022

    Supervision: Julián Méndez, Raimund Dachselt

  • Fujun Han

    Dimensionality Reduced Cluster Analysis for Segmentation [CMS-PROJ, WiSe 21/22]

    Fujun Han November 1st, 2021 until March 31st, 2022

    Supervision: Julián Méndez, Annett Mitschick, Raimund Dachselt

  • Kai Rädsch

    Implementation of a multi-user multi-touch framework for JavaScript to support web-based applications in multi-display environments [INF-PM-FPA, WiSe 21/22]

    Kai Rädsch October 18th, 2021 until March 7th, 2022

    Supervision: Anke Lehmann, Julián Méndez, Raimund Dachselt