Petter Sandvik

University teacher in Computer Science; previously System Planner (Data and Information Security) at ICT Services

Research Expertise

Biography

Courses taught in the academic year 2018-2019:

• Grundläggande strukturer (Fundamental structures)
• Formella språk och automater (Formal languages and automata)
• Kombinatorik och problemlösning (Combinatorics and problem solving)
• Interaktiv design och användbarhet (Interactive design and usability)
• Introduktion till informationsteknologi, Öppna Universitetet (Introduction to information technology, Open University)

Courses taught in the academic year 2017-2018:

• Kombinatorik och problemlösning (Combinatorics and problem solving)
• Interaktiv design och användbarhet (Interactive design and usability)
• Introduktion till informationsteknologi, Öppna Universitetet (Introduction to information technology, Open University)

Courses taught in the academic year 2016-2017:

• Kombinatorik och problemlösning (Combinatorics and problem solving)
• Interaktiv design och användbarhet (Interactive design and usability)
• Datastrukturer (Data structures)
• Invariantbaserad programmering (Invariant-based programming).

Courses taught in the academic year 2015-2016:

• Datastrukturer (Data structures)
• Invariantbaserad programmering (Invariant-based programming).

 

Education

PhD in Computer Science, Åbo Akademi University, 2015. Thesis title: "Formal Modelling for Digital Media Distribution". Available from http://urn.fi/URN:ISBN:978-952-12-3294-7.

MSc in Computer Science, Åbo Akademi University, 2008. Thesis title: "Adapting Peer-to-Peer File Sharing Technology for On-Demand Media Streaming".

 

Publications

Articles in journals 3

Kamali, Maryam and Neovius, Mats and Petre, Luigia and Sandvik, Petter, Formal Development of System of Systems. In: ISRN Software Engineering. HINDAWI PUBLISHING CORPORATION, 2013 1

Lumme, Kristian and Petre, Luigia and Sandvik, Petter and Sere, Kaisa, A Formal Approach to H.264 Video Decoding on Multicore Systems. In: International Journal of Critical Computer-Based Systems. Inderscience Enterprises Ltd., 2013 1

Sandvik, Petter and Neovius, Mats, A Further Look at the Distance-Availability Weighted Piece Selection Method: A BitTorrent Piece Selection Method for On-Demand Media Streaming. In: International Journal on Advances in Networks and Services. IARIA, 2010 1

Articles in proceedings 9

Horsmanheimo, Seppo and Kamali, Maryam and Kolehmainen, Mikko and Neovius, Mats and Petre, Luigia and Rönkkö, Mauno and Sandvik, Petter, On Proving Recoverability of Smart Electrical Grids. In: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. . Badger, Julia M. and Rozier, Kristin Yvonne (Eds.). Lecture Notes in Computer Science Springer-Verlag, 2014 1

Sandvik, Petter, SPECTA: A Formal Specification Language for Content Transfer Algorithms. In: The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014). IEEE, 2014 1

Petre, Luigia and Sandvik, Petter and Sere, Kaisa, Node Coordination in Peer-to-Peer Networks. In: COORDINATION 2012. Sirjani, Marjan (Eds.). Lecture Notes in Computer Science Springer-Verlag GmbH Berlin Heidelberg, 2012 1

Sandvik, Petter, SPECTA: A Formal Specification Language for Content Transfer Algorithms. In: 24th Nordic Workshop on Programming Theory. Wolter, Uwe and Lamo, Yngve (Eds.). Reports in Informatics University of Bergen, 2012

Petre, Luigia and Sandvik, Petter, Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems. In: Proceedings of the 23rd Nordic Workshop on Programming Theory. Pettersson, Paul and Seceleanu, Cristina (Eds.). Technical report Mälardalen Real-Time Research Centre, 2011

Sandvik, Petter and Sere, Kaisa, Formal Analysis and Verification of Peer-to-Peer Node Behaviour. In: The Third International Conference on Advances in P2P Systems (AP2PS 2011). Liotta, Antonio and Antonopoulos, Nikos and Di Fatta, Giuseppe and Hara, Takahiro and Vu, Quang Hieu (Eds.). IARIA, 2011

Lumme, Kristian and Petre, Luigia and Sandvik, Petter and Sere, Kaisa, Towards Dependable H.264 Video Decoding. In: Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011). Ahmed, Naveed and Quercia, Daniele and Jensen, Christian D. (Eds.). Technical University of Denmark, 2011

Sandvik, Petter and Sere, Kaisa and Waldén, Marina, Modelling BitTorrent-Like Streaming Piece Selection with Event-B. In: Proceedings of the 22nd Nordic Workshop on Programming Theory. Waldén, Marina and Petre, Luigia (Eds.). General Publication TUCS, 2010

Sandvik, Petter and Neovius, Mats, The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-Demand Streaming. In: Proceedings of The First International Conference on Advances in P2P Systems (AP2PS 2009). Liotta, Antonio and Antonopoulos, Nick and Exarchakos, George and Hara, Takahiro (Eds.). IEEE Computer Society, 2009

PhD theses 1

Sandvik, Petter, Formal Modelling for Digital Media Distribution. TUCS Dissertations 206. 2015

Technical reports 5

Sandvik, Petter, A Formal Specification Language for Content Transfer Algorithms. TUCS Technical Reports 1109. TUCS, 2014

Horsmanheimo, Seppo and Kamali, Maryam and Kolehmainen, Mikko and Neovius, Mats and Petre, Luigia and Rönkkö, Mauno and Sandvik, Petter, On Proving Recoverability of Smart Electrical Grids. TUCS Technical Reports 1096. TUCS, 2013

Sandvik, Petter, Formal Stepwise Development of an In-House Lighting Control System. TUCS Technical Reports 1079. TUCS, 2013

Petre, Luigia and Sandvik, Petter and Sere, Kaisa, A Modular Approach to Formal Modelling of Peer-to-Peer Networks. TUCS Technical Reports 1039. Turku Centre for Computer Science, 2012

Sandvik, Petter and Sere, Kaisa and Waldén, Marina, An Event-B Model for On-Demand Streaming. TUCS Technical Reports 994. Turku Centre for Computer Science, 2010