Antti Pakonen
Senior Scientist, Project Manager
VTT Technical Research Centre of Finland Ltd
Contact:
- Email: if.ttv@nenokap.ittna
- Mail address: P.O. Box 1000, FI-02044 VTT, Finland
- Street address: Tekniikantie 21, Espoo
- Telephone: +358 20 722 6783
Recent activities:
- Managing a research project called "Safety and security assessment of overall I&C architectures (SEARCH)" in the SAFIR2022 programme
- Applying model checking in customer projects for Mipro (point logic), STUK (Olkiluoto 3 I&C), Fennovoima (functional I&C architecture), and Fortum (Loviisa I&C renewal project ELSA).
- Research in HW + SW model checking, formal specification languages and counterexample analysis
VTT CRIS - ResearchGate - Google Scholar
I've been applying model checking in practical customer projects since 2007. It truly is a powerful V&V tool when it comes to safety-critical automation software (or FPGA logics), so should you need some thorough verification, I'm quite sure our team can be of assistance.
