Rasoul Ramezanian
|
|
|
Position:
|
Assistant Professor |
|
|
Interests:
|
Intuitionism, Constructive Mathematics,
Multi-agent Systems (Epistemic Logic, Game Logic, Deontic Logic)
Formal Verification
|
|
|
|
Department:
|
Mathematical Sciences, Sharif University of Technology
|
|
Office:
|
Room 306 |
|
Telephone:
|
+98 21 66165622
|
|
Email:
|
ramezanian AT sharif DOT edu
|
|
|
|
My Weblogs:
- مدل سازي منطقي سيستم هاي اجتماعي
|
|
|