maweki

• since 2023:

  • husband
  • vice speaker of "FG Deklarative Programmierung (DeklProg)", special interest group of the German Informatics Society (GI)

• since 2021:

  • father
  • member of the consulting committee of "GLP - Gesellschaft für Logische Programmierung e.V.", subgroup of the Association for Logic Programming (ALP)

• 2018-2024: PhD Position (Martin-Luther-University Halle-Wittenberg)

  • Member of the database group under Prof. Stefan Brass
  • Teaching Logic Programming, (Deductive) Databases, XML, and other material
  • Research in Deductive Databases, Logical Programming, and adjacent fields
  • Participated at Intl. Summer School for Big Data and Machine Learning 2018

• 2017-2018: teaching assistant (Leipzig University of Applied Science)

  • Algorithms and data structures for bachelor students: Methods for analysis and design of algorithms and data structures (sorting, recursive algorithms, dynamic programming, graph algorithms)
  • Advanced programming for bachelor students (exam preparation only): Higher-order functions and lambda-calculus
  • Modelling (CS introductory course: sets, tuples, relations, graphs, and their properties and operations)

• 2016-2018: Project manager and researcher (Leipzig University of Applied Science)

  • Helping to run the local "Roberta" project, doing outreach for young women in STEM, managing students under Prof. Sibylle Schwarz
  • Certified Roberta Teacher
  • Researching functional (or non-imperative) programming (Clojure, Purescript, Prolog) on low-spec robotics platforms (Lego Mindstorms EV3)

• 2016-2017: Gnome Shell Extensions Community Manager

  • Doing outreach for GNOME and the shell extension developer community

• 2016: teaching assistant for exam preparation (Leipzig University of Applied Science)

  • Theoretical computer science for master students: (Non)deterministic Finite automata, chomsky hierarchy, basic complexity theory (P and NP), reductions between NP-complete problems
  • Advanced programming for bachelor students: Higher-order functions, lambda-calculus, polymorphism and typeclasses, algebraic data structures, rewriting systems, lazy evaluation and infinite data structures

• 2013-2016: M.Sc. Computer Science (Leipzig University of Applied Science)

  • Participated at Intl. School on Rewriting 2015 in Leipzig (with examination and research poster presentation)
  • Master's thesis about single-rule string-rewriting and binary decision diagrams under Prof. Johannes Waldmann
  • Fell in love with theoretical computer science and Haskell

• 2013-2014: working student (DataHaptics)

  • Frontend development with d3.js and ExtJS
  • Creating complex SQL queries with the backend team

• 2013-2018: maintainer for quadrapassel, gnome-tetravex, tali and gnome-mahjongg (GNOME)

  • Vala, GTK+
  • member of the GNOME foundation (until 2018)

• 2010-2013: B.Sc. Computer Science in the Media (Leipzig University of Applied Science)

  • Certificate for English for Computer Scientists
  • Bachelor's thesis about clustering datasets within a browser and visualizing them

• 2007-2010: 3 years Apprenticeship media-design (digital and print)

• A-Levels

  • advanced courses in English and Math
  • LCCI Business English Level III (pass with credit for oral exam)

• born in 1988