Biography
Research Interest
Education
Publication
Students
Books
Honors
Research Projects
Education
Time Table
Files
Archive
CV
Current Courses
Automatic Verification
Software security
Software verification & validation
Malware analysis (Advanced issues in information security)
Previous Course
Automatic Verification
Software security
Software verification & validation
Malware analysis (Advanced issues in information security)
Behrouz Torkladani
Software Engineering
Faculty of Computer Engineering
Tel: +98-31-37934069
ladani@eng.ui.ac.ir
Click to view the complete profile
Research Interest
Formal Specification and Verification
Malware Analysis
Software Security (Vulnerability analysis, Security testing)
Computational Trust (Modeling, Verification, and Application)
Rumor Propagation in Social Networks (Modeling, Analysis, Control)
Academic Resume
Phd, Computer Engineering, Tarbiat Modares University, Iran, Graduation Date: 2004
Master, Computer Engineering, , Iran, Graduation Date: 1997
Bachelor, Computer Engineering, University of Isfahan, Iran, Graduation Date: 1995
Publications
Books
Honors
Thesis
Research Centers
Model Driven Software Engineering Research Group
Rasa Research Center
Offices
Office of Industry Relations
Office of Research and Technology
Office of Education and Postgraduate Studies
International Scientific Cooperation Office
Iran, Isfahan, Hezar Jerib Street, University Of Isfahan
+98-31-379334501
Postal Code: 36699529
info@eng.ui.ac.ir
Tiida