Elias Kuiter

M.Sc. Elias Kuiter

Institut für Technische und Betriebliche Informationssysteme (ITI)
AG Datenbanken & Software Engineering
Universitätsplatz 2, 39106 Magdeburg, G29-109
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
  • 2015-2019: B.Sc. Informatik, Otto-von-Guericke-Universität Magdeburg

Forschung

  • Feature-Model Extraction, Transformation, and Analysis
  • Satisfiability Solving, Formal Methods, Applied Category Theory

Projekte und Kooperationen

Lehre

  • Sommersemester 2024: Student Conference
  • Wintersemester 2023/24: ISP, Datenbanken I
  • Sommersemester 2023: Student Conference, Requirements Engineering II (Hochschule Harz)
  • Wintersemester 2022/23: ISP, Datenbanken I
  • 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

Gutachter- und Gremientätigkeiten

  • Invited Reviewer / PC Member
    • TOSEM, EMSE
    • ICSE 2024: Artifact Evaluation Track
  • Sub-Reviewer
    • EMSE, IST, SPLC, VaMoS, ENASE, ICSOFT, SCICO, ESWA, EAAI, SOFTX, GvDB
  • VaMoS 2024: Publicity Chair
  • VaMoS 2020: Student Volunteer
Publikationen

2024

  • Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, and Gunter Saake. How Easy is SAT-Based Analysis of a Feature Model?. In Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), pages 149–151. ACM, February 2024.
     

2023

2022

2021

2020

2019

2018

Betreute Arbeiten

2023

  • Till Sehlen. Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas. Master's thesis, University of Magdeburg, May 2023.
     

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: 04.05.2023 - Contact Person: