Computer Science

Department staff

Dr Manfred Kufleitner

Photo of Dr Manfred Kufleitner


Manfred studied Computer Science with minors in Mathematics at the University of Stuttgart. After his graduation in 2001 he continued his studies under the supervision of Volker Diekert. He earned his doctorate in Computer Science in 2006 at the University of Stuttgart. After one year of postdoc at LaBRI in Bordeaux, Manfred returned to Stuttgart where he did his habilitation in 2013. Manfred had the honour of being invited as a guest professor at the Technical University of Munich (from Nov 2013 until Mar 2014) and as an adjunct professor at the University of Hamburg (from Oct 2014 until Mar 2015). He joined the Department of Computer Science at Loughborough University as a lecturer in 2017. 

Manfred’s research covers a broad range of topics in Theoretical Computer Science. This includes logic, formal verification, automata and formal languages, the theory of finite semigroups, algorithms and combinatorics on words, and text compression. 

  • Automata theory
  • Logic in computer science
  • Formal languages
  • Semigroups
  • Trace monoids and concurrency
  • Verification
  • Algorithms and combinatorics on words
  • Data compression
  • Programme committee member of FCT 2017, FoSSaCS 2016, WORDS 2015, DCFS 2015, LICS 2015, ALFA’15, STACS 2015, ICALP 2014 Track B
  • Workshop chair of ALFA’13s and ALFA’13 (with V. Diekert)
  • Reviewer for: German Research Foundation (DFG); National Research, Development and Innovation Office in Hungary (NKFIH)
  • Reviewer for several journals: ACM Transactions on Computational Logic; Discrete Mathematics and Theoretical Computer Science; Fundamenta Informaticae; Information and Computation; Information Processing Letters; Information Sciences; International Journal of Algebra and Computation; Journal of Automata, Languages and Combinatorics; Logical Methods in Computer Science; RAIRO - Theoretical Informatics and Applications; Theoretical Computer Science; Theory of Computing Systems
  • Reviewer for several conferences: AFL, AutoMathA, CIAA, CONCUR, CPM, CSL, CSR, DLT, EurAsia-ICT, FoSSaCS, FSTTCS, ICALP, LATA, LATIN, LICS, LPAR, MFCS, SPIRE, STACS
  • Deputy speaker of the special interest division for logic in computer science of the GI (German computer science association)

Member of the Theoretical Computer Science (TCS) research theme