Kaisa Sere

Professor (Computer Science and Engineering)

Current Research Interests

• System engineering methods providing high dependability and productivitys
• CREST Centre of Excellence in Formal Methods in Programming Research
• Dependable complex software systems and services
• Formal system specification
• Distributed systems
• Hardware design
• Neural networks

Master's thesis and diploma projects available from each of the above areas.

Teaching:

• Software Quality (virtual course), information on dept. pages>
• Praktikum i programvaruproduktion
• Special Course in Software Engineering: Software Architectures for Distributed Systems (spring 2005)
• Software Architectures (spring 2004)

Selected Publications

• Formal methods, programming methodology, parallel and distributed systems
• Hardware design, delay-insensitive circuits
• Neural networks, genetic algorithms, business applications

Other Professional Activities

• Member of the Research Council for Natural Sciences and Engineering Academy of Finland
• Docent of Computer Science at University of Kuopio
• Formal Methods 2008
• MTCoord'08 - 4th International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems
• 86th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2008)