alexander heußner contact teaching tools publications research home



I like to share my knowledge and enthusiasm on computer science in German, English and French especially in the areas of verification, automata theory/logics, algorithmics, formal semantics, mathematical foundations, software engineering, requirements analysis, agile development (esp. SCRUM and story mapping), software security, compiler construction, programming, software projects, concurrency, object orientation (OOA, OOD, OOP) and knowledge representation.