Forskningsprosjekter
Dette er noen av forskningsprosjektene LII-forskere er involvert i. Mye av forskningen skjer utenfor formelle prosjektstrukturer; se publikasjonslisten for et mer komplett bilde av forskningstemaer.
-
VERDIKT Project
A new project on databased methods for analysing polarisation and information dissemination in the blogosphere has received funding from the Norwegian Research Council's VERDIKT programme.
-
Truls Pedersen
Truls Pedersen's project "A modal logical framework for social software" uses formal methods (particularly multi-agent modal logic) to analyse social software. Here, Pedersen expresses concepts which are central in social software with model logic. The term "social software" may refer computer software where people execute social acts, like Facebook, Twitter or eBay.
-
The FORMGRID project
The main objective of the FORMGRID project is to develop new techniques and software tools for diagrammatically modeling grid computing systems, and for formally verifying their correct behavior. The FORMGRID project is hosted by Bergen University College and is funded by Norwegian Research Council.