![](https://webapps.unitn.it/public/store/ermete/persona/per0240979/ufficiale.png?c=1857810845)
Atefeh Zareh Chahoki
![]() ![]() |
Education |
||||||||||||||||||||
Atefeh Zareh is a computer science Ph.D. student at the University of Trento, Italy, working on the formal verification of smart contracts. Her principal research interests include security and blockchain. |
|||||||||||||||||||||
![]() ![]() |
Academic career and teaching activities |
||||||||||||||||||||
|
|||||||||||||||||||||
![]() ![]() |
Research work |
||||||||||||||||||||
Atefeh Zareh is a computer science Ph.D. student at the University of Trento, Italy, working on the formal verification of smart contracts. Her principal research interests include security and blockchain. |
|||||||||||||||||||||
![]() ![]() |
Memberships in societies and scientific committees |
||||||||||||||||||||
Computer Society of Iran |