Ph.D student of Logic and Computer Science
Sharif University of Technology
MY FAVORITE TOPICS:
Constructive Logic, Epistemic logic, Constructive Analysis, Process Algebra, Security Protocols, Computational Complexity Theory.
System Theory Course (lecture-notes)
Links: