Institute of Computer Science. Research groups cover software engineering and systems software, databases and information systems, programming languages, computer architecture, artificial intelligence, computer science in education and society, theoretic