If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Antti Pakonen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Ontology
Nuclear industry
Process monitoring
Formal methods
Automation
Specification languages
Nuclear power plants
Hardware
Systems analysis

Mathematics

Model Checking