Dr. Jan Dageförde, M.Sc.
No current affiliations available for this person. The person is no longer active at the university.
Curriculum Vitae (CV)
- Logic (Constraint) Programming
- Integration of Programming Paradigms
- E-Learning for Universities
Academic Education | |
| 2015 - 2020 | PhD Studies in Information Systems at the University of Münster |
| 2014 - 2015 | Master studies in Information Systems at the University of Münster |
| 2010 - 2014 | Bachelor studies in Information Systems at the University of Münster |
Publications
Dageförde, Jan C.; Kuchen, Herbert (2023) In: Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto (eds.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Cham: Springer. Research article (book contribution) | |
Winkelmann Hendrik, Dagefoerde Jan C., Kuchen Herbert (2021) In: (eds.), . Springer. Research article in edited proceedings (conference) | |
Dageförde Jan C., Teegen Finn (2020) In: Hofstedt P, Abreu S, John U, Kuchen H, Seipel D (eds.), Declarative Programming and Knowledge Management. Springer VDI Verlag. Research article (book contribution) | |
Dageförde Jan C., Kuchen Herbert (2020) In: (eds.), . (kein Verlag angegeben). Research article in edited proceedings (conference) | |
Dageförde, Jan C. (2020) Münster(kein Verlag angegeben). Thesis (doctoral or post-doctoral) |
Projects
Duration: since 01/11/2015 Type of project: Own resources project | |
Duration: since 01/11/2003 Type of project: Own resources project |
Doctorates
| An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language Candidate: Dageförde, Jan C. | Supervisors: Kuchen, Herbert Period of time: until 07/07/2020 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |