IT@ÅA
  • Research
  • Education
  • People
  • Projects
  • Publications

Petter Sandvik

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

Email:
petter.sandvik@abo.fi
Internal phone:
3379
Phone:
+358 (0)2 215 3379
Room:
340J , Details

Location of room

Petter Sandvik

Research Expertise

formal methods trusted networks and services control systems dependable systems automated reasoning formal languages refinement ubiquitous computing distributed systems peer-to-peer networks media streaming data privacy information security

Biography

Courses taught in the academic year 2018-2019:

  • Grundläggande strukturer (Fundamental structures)
  • Kombinatorik och problemlösning (Combinatorics and problem solving)
  • Formella språk och automater (Formal languages and automata)
  • 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

Location of room

Laboratories and Groups

  • Distributed Systems Laboratory
  • Formal Methods and Networks group

Completed projects

  • High-quality Measurement Infrastructure for Future Resilient Control Systems (FResCo)
    Academy of Finland, 2013 – 2015

Footer

Contact

Phone: +358 (0)2 215 4475
Fax: +358 (0)2 251 5557

Visiting address

Åbo Akademi, Agora
Informationsteknologi
Vattenborgsvägen 3
20500 Åbo

Postal address

Åbo Akademi
Informationsteknologi
Agora
Domkyrkotorget 3
20500 Åbo

Social media

Fb

Quick links

Åbo Akademi
TUCS
Department Intra
Sign in to site administration