Elias Kuiter

Institut für Technische und Betriebliche Informationssysteme (ITI)
AG Datenbanken & Software Engineering
Vita

Vita

  • ab 2021: Wissenschaftlicher Mitarbeiter, Otto-von-Guericke-Universität Magdeburg
  • 2019-2020: M.Sc. Informatik, Otto-von-Guericke-Universität Magdeburg
  • 2017-2019: Wissenschaftliche Hilfskraft, Otto-von-Guericke-Universität Magdeburg
    • AG Communication and Networked Systems
    • AG Datenbanken und Software Engineering
    • AG Algorithmische Geometrie
  • 2015-2019: B.Sc. Informatik, Otto-von-Guericke-Universität Magdeburg

Forschung

  • Product-Line Analysis
  • Feature-Model Interfaces & Transformations
  • Formal Methods, Category Theory

Lehre

  • Sommersemester 2022: Student Conference
  • Wintersemester 2021/22: ISP, Datenbanken I
  • Sommersemester 2021: ISP, Student Conference
  • Wintersemester 2017/18: TheoInf I

Auszeichnungen und Förderung

  • Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg
    • Bester Absolvent im Masterstudiengang Informatik (2021)
    • Bester Absolvent im Bachelorstudiengang Informatik (2019)
    • Rudolf-Kruse-Preis (2018)
  • Drittmittelförderung
    • pure-systems GmbH: Go SPLC 2019 Challenge
Publikationen

2022

  • Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, and Gunter Saake. Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. In International Conference on Automated Software Engineering, ASE, October 2022. Accepted.
     
  • Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, and Ina Schaefer. Verification Strategies for Feature-Oriented Software Product Lines. In International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS. ACM, February 2022.
     

2021

2020

2019

2018

Betreute Arbeiten

2022

2021

  • Logesh Babu Radhakrishnan. System Tools’ Firmware Flashing Automation in a Complex Software/Hardware Environment. Master's thesis, University of Magdeburg, December 2021.
     
Courses

Last Modification: 06.11.2021 - Contact Person:

Sie können eine Nachricht versenden an:
Sicherheitsabfrage:
Captcha
 
Lösung: