Informatik
Berthold Hoffmann
|
|
Berthold Hoffmann has been Bremen Senior Lecturer in the computer science program. After his retirement (on 1. 5. 2019) he is still associated with the university.
He studied computer science at TU Berlin, and received his Dr-Ing. (PhD) from there. (Details can be found in his CV.)
Research
Berthold Hoffmann is working in the area of graph transformation, on foundations of rule-based programming with graph transformation rules and on the definition and parsing of graph languages with graph grammars, in particular with contextual hyperedge replacement grammars.ResearchPublications
See DBLP.Teaching (mostly in German only)
- Practical Computer Science 3 - Functional Programming
(in turn with Christoph Lüth).
Since Winter 2019/20 this course has been taken over by Thomas Barkowsky - Compiler Construction (Übersetzerbau).
Since summer 2019 Thomas Röfer has taken over this course.
(Given as a block course, in 2012 and 2013 at the Université de Maroua, and in 2014 at the Université de Ngaoundéré, Cameroun.) - Programming Languages (Programmiersprachen).
- Graph Transformation Systems This course has been given once more with Karsten Hölscher, in Winter 2019/20.
- Visual languages (Seminar in summer 2004)
- From 2018 to 2019, Shi Hui, Serge Autexier and I have supervised the Bachelor project Dialog@Home (and the preceeding Bachelor and Master projects carrying the same name).
Earlier projects have been Montys CocoNut (13-14) BALI (96-98), and ÜberQuelle (83-85)
Miscellaneous
- ORCID: has given me the number 0000-0002-5608-996X.
- According to MathSciNet, my Erdös number is 4, and my Gauss number is 7.
- NORIS/TUB Computer Science Alumni at TU Berlin
Author: Dr. Berthold Hoffmann
| Last updated: July 7, 2020 |  |