Research group for Logic, information and interaction


The LII group has these permanent members:

We study the fundamentals of representing and reasoning about information and interaction in computer systems. Applications of our work are found in social software, artificial intelligence, multi-agent systems and programming languages.


In  2018 we teach: INFO102INFO103INFO125INFO132,INFO134INFO207, INFO233INFO282INFO284INFO382