Syntymäaika	1993
Syntymäpaikka	Helsinki, Suomi
Ammatti	tutkija
Toimiala	tietotekniikka
Tunnisteet	https://orcid.org/0000-0001-5131-1659 (orcid) 000000051271231X (isni) http://urn.fi/URN:NBN:fi:au:finaf:000223706 (finaf)
Lähteet	Aalto-yliopiston väitöstiedote 31.7.2023 Formal Verification and Standardization of Security Protocols, [2023]
Yhteys ryhmään	Aalto-yliopisto (-)