Atefeh Zareh Chahoki

Research fellowship holder

Department of Information Engineering and Computer Science

Via Sommarive, 9 - 38123 Povo
atefeh.zareh[at]unitn [dot] it
Expertise:
Formal verification
Malware detection
Software security
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

University Instructor | Amirkabir University of Technology, Tehran, Iran

Database Management Systems Laboratory

Spring Semester of 2021

University Instructor | Islamic Azad University, Tehran, Iran

Fall Semester of 2020

Teacher Assistant | Amirkabir University of Technology, Tehran, Iran

E-Commerce Security Course

Fall Semester of 2014

Teacher Assistant | Kharazmi University, Tehran, Iran

Data Structures and Algorithms Course

Fall Semester of 2008

 

Teacher Assistant | Kharazmi University, Tehran, Iran

Algorithm Design Course

Spring Semester of 2009
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