Nettsider med emneord «Logic»

Publisert 13. aug. 2019 14:12
Publisert 30. juli 2019 16:42

This gathers various interesting topics which require a more mathematical mind and are usually more challenging. Such topics deal with fundamental aspects of computer science, like logics, semantic models, algorithms, process algebras. Here the student can choose various topics to focus on, depending on the interest, which we find out together through discussions.

One can do various kinds of MSc theses, starting from contributing with programming a simple module for some existing formal tool, like model checker, or a literature study, or doing modelling of real-life systems, or develop a concurrent programming/modelling language, or doing mathematical work on the logical or theoretical foundations.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 27. sep. 2018 14:20

Master topics which use SMT technology for optimization and verification problems in planning and program verification

Publisert 25. aug. 2017 10:03

This is a general topic regarding modern concurrency models and their various theoretical and practical aspects. Here the student can choose various topics to focus on, depending on the interest, which we find out together through discussions.

One can do various kinds of MSc theses, starting from just programming a simple tool related to some forms of concurrency, or a literature study, or doing modelling of real-life concurrent systems, or develop a concurrent programming/modelling languge, or doing mathematical work on the logical foundations of all these models and their tools.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 6. des. 2016 14:02
Publisert 9. juni 2016 10:56

The work of Bjørnar Luteberget, Christian Johansen, and Martin Steffen (from PMA and ConSeRNS groups at IFI) won the Best Paper Award at the 12th International Conference on Integrated Formal Methods, which was held in Iceland in June.

Publisert 30. nov. 2010 23:20
Publisert 30. nov. 2010 23:20
Publisert 30. nov. 2010 23:20
Publisert 4. nov. 2010 14:18
Publisert 4. nov. 2010 13:54
Publisert 4. nov. 2010 13:45