Jan Bessai    Publications  Students  Philosophy  Contact  GitHub


Work with students
_______________________________________________________________________________

I really like working with students and I've been involved in (co-)advising
lots of student projects. Below you can find a (incomplete) list of past and
current projects.


Project groups:
_______________________________________________________________________________
* CoffeeSyn (2021/22):
  A product line of modular coffee machines
* Plant Care (2020/21):
  An automated system to monitor plant growth
  image of a plant growth monitoring robot arm
* Sythese cyber-physischer Systeme (2019/20):
  A product line of modular automated towers for growing plants
  image of a plant growing tower


Individual thesis projects:
_______________________________________________________________________________
* Automatische Generierung von produktlinienorientierten
  Strategieunterstützungswerkzeugen für das Supply Chain Management
* Automatisiertes Updatemanagement von Abhängigkeiten in großen
  Softwareprojekten
* Synthese von Variationen eines Systems zur Berechnung profitabler Touren für
  Handelsvertreter unter Zuhilfenahme eines Inhabitationsalgorithmus
* Robotic Arms as a Product Line: Synthesizing Hardware and Software from
  modular Components
* Visualizing Scala Programs using the Unified Modeling Language (find the project 
  on Github: https://github.com/tizuck/scala-uml )
* Typechecking in the Calculus of Dependent Lambda Eliminations via typability
  in set-theoretic bounded dimension Intersection Types
* Coinduction in the Calculus of Dependent Lambda Eliminations
* Vergleich dreier Implementierungen eines minutengenauen Produktfeeds
  (with industry partner https://www.babymarkt.de )
* Statische Analyse mittels Symbolic Execution von Zustandsautomaten 
  (with industry partner https://www.itemis.de )
* Entwicklung einer verifizierten Bibliothek für Graphalgorithmen in Idris
* Statische Analyse auf Statecharts in YAKINDU SCT
  (with industry partner https://www.itemis.de )
* Implementierung eines Java-basierten Python3-Parsers und
  Syntaxbaummanipulationswerkzeugs 
  (find the project on Github: https://github.com/danielNaczo/Python3Parser )
* Prinzipale Inhabitation im einfach getypten Lambda-Kalkül
* Concept and Implementation of a Java-based Parser and Pretty-Printer for the
  Coq Proof Assistant
* Process Synthesis based on the Higher-Order Arrow Calculus
* AutoForm DataManager zur Verwaltung von AutoForm-Dateien 
  (with industry partner https://www.autoform.de )
* Automatische Erstellung eines verteilten Systems unter optimaler Ausnutzung
  der vorhandenen Ressourcen
* Synthese von Docker-Konfigurationen unter Zuhilfenahme eines
  Inhabitationsalgorithmus
* Entwurf und Implementierung eines Eclipse Plug-Ins für die Auswahl von
  Prozessfragmenten zur Synthese von Geschäftsprozessen
* CRISP-DM: Anwendung auf Daten von MATERNAips 
  (with industry partner https://www.materna.de )
* Synthese von constraint-basierten Deployments von Cloud-Anwendungen mit Hilfe
  eines Inhabitationsalgorithmus
* Automatische Komposition von Zwölftonmusik unter Zuhilfenahme eines
  Inhabitationsalgorithmus
* Synthese von Continuous-Integration Pipelines
* Synthese von Unit- und Integrationstests
* Automatische Generierung von ausführbaren medizinischen BPMN-Modellen unter
  Zuhilfenahme eines Inhabitationsalgorithmus
  (with research partner https://www.isst.fraunhofer.de/ )