Research in the Department
At King's, the Department of Informatics has a high research profile, with several major externally funded projects, a strong publication profile, and significant research activity. Our research is organised around our research sections, and you can find details of the range of current research projects and interests on the research pages.
Each research group page contain details of members of the groups, the lines of research currently being followed, seminar series and other talks arranged by or of interest to the members of the group, and lists of recent publications.
Agents & Intelligent Systems
Software Modelling & Applied Logic