Rasoul Ramezanian
Senior SNFS Researcher, HEC, University of Lausanne, Switzerland.
(Interests: Algorithmic Game Theory & Economic Mechanism Design, Cryptographic Protocols,, Logic and Formal Methods, Blockchain, Crypto-economics, DAO, Social Networks, Token Engineering, AI and Machine learning, Data Science, Decentralized Economic Design
University of Lausanne, HEC, Switzerland
Email: rasoul.ramezanian@unil.ch , rasool.ramezanian@gmail.com
I am a bridge between academia and industry. I am experienced as a cryptographic protocol designer and incentive mechanism designer. I have been protocol and mechanism designer and also product manager of following projects
Programming Skills: Solidity (object-oriented programming language for writing smart contracts), C Programming, Data Analysis with Python (Panda, Numpy, Scikit-learn, matplotlib, Keras, Tensorflow), Java,
Management skills: Product Designer & Manager
I am protocol and mechanism designer & product manager of the Parse ecosystem at Faraz Pajohan Co.
Parse DeFi ecosystem consists of 3 parts:
1- Parse stablecoin
2- Parse Lending/Borrowing Platform
3- Parse Payment Gateway
Blockchain Consensus Mechanisms
event: https://iscisc2022.guilan.ac.ir/en/
Title of Workshop: Blockchain Consensus Mechanisms
Presented by: Rasoul Ramezanian
Abstract: Blockchain is a decentralized ledger where each block is chained to the ledger via a consensus mechanism. In this workshop, from game theory and mechanism design perspective, I overview almost all well-known consensus protocols (such as Proof of Work, Proof of Stake, Delegated Proof of Stake, Byzantine Fault Tolerance, Proof of Authority, Proof of Importance, Proof of Burn, etc.,) and other ideas for consensus (such as Proof of Reputation, Proof of Vote, Proof of Accuracy, etc.). Regarding miners as players, I study the game model (cooperative, non-cooperative, stochastic, etc.) and the incentive compatibility of each consensus protocol.
Time Line:
Senior SNSF Researcher, University of Lausanne, February 2023-- now
Founding and Running Gamification & Token Engineering Laboratory at Department of Mathematical Sciences of Ferdowsi University of Mashhad. October, 2016 ---
Assistant Professor of Computer Sciences and Mathematics at Department of Mathematical Sciences of Ferdowsi University of Mashhad, Iran. 22, September, 2015 --- (Leave Without Pay)
Assistant Professor of Computer Sciences and Mathematics at Department of Mathematical Sciences of Sharif University of Technology, Iran. 28, February, 2009 ---- 22, September, 2015
Founding and Running the Complex and Multi-Agent System Laboratory at Department of Mathematical Sciences of Sharif University of Technology. September, 2010 – September 2015
Vice Chairman of Academic Affairs of Department of Mathematical Sciences of Sharif University of Technology, June, 2012 – April 2015
The Institute for Research in Fundamental Sciences (IPM), School of Mathematics Non Resident Researcher (Formal Methods) http://www.ipm.ac.ir/personalinfo.jsp?PeopleCode=IP1300062, September 2013 - September 2014
Ph.D. in Mathematics and Computer Sciences, Sharif University of Technology, 23, September, 2003 – 10, August, 2008.
Publications
M. Ardesir, R. Ramezanian, (2024), The Temporal Continuum, Accpeted, Journal of Review of Symbolic Logic. https://doi.org/10.1017/S1755020324000078
M.Feizi, R. Ramezanian, (2023), A new impossibility result for random assignments, Journal of Mathematical Economics, Volume 107
R. Ramezanian, M. Feizi, (2022), Robust ex-post Pareto Efficiency and Fairness in Random Assignments: Two Impossibility Results, Games and Economic Behavior, 135, pages 356-367
R. Ramezanian, M. Feizi (2021), Ex-post Favoring Rank: A Fairness Notion for the Random Assignment Problems, Review of Economic Design, 25(3):157–176.
R. Ramezanian, R. Ramezanian, H. van Ditmarsch, M. Gattniger, (2021), Everybody Knows that Everybody Knows, Mathematics, Logic, and their Philosophies, Springer Nature Switzerland AG
R. Ramezanian, M.Feizi (2020), Stepwise Ordinal Efficiency for the Random Assignment Problem, Journal of Mathematical Economics, vol 99, page 60-65
M. Pourpoune, R. Ramezanian, A. Sen, (2020), The Marriage Problem with Interdependent Preferences, International Game Theory Review, vol 22(02), page 1-16
M Feizi, R. Ramezanian, Malek Sadati, (2019) Borda paradox in the 2017 Iranian presidential election: empirical evidence from opinion polls, Economics of Governance, vol 21, page 101-113
M. Javidian, P. Jamshidi, R. Ramezanian, (2019) Avoiding Social Disappointment in Elections Proceeding AAMAS ’19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, Montreal QC, Canada
M. Pourpoune, R. Ramezanian, (2018) A Decentralized Online Sortition Protocol, ISeCure-The ISC International Journal of Information Security, vol 10(1), page 63-69
H. Orei, M. Pourpoune, R. Ramezanian, (2018) An improvement over Lee et al.’s key agreement protocol, Journal of Computing and Security, vol 5(1), page 3-12
S. Mansouri, A. Azar, A. Divandari, R. Ramezanian (2017) Agent-Based Simulation of Banking Service Supply Chain Based on Service-Dominant Logic, Journal of Business Management, vol 9(3), page 661-688
M. Shafiei, Z. Zeinalpour, R. Ramezanian, (2016), Coverage improvement in femtocell networks via efficient utility pricing, IET Communications, vol 10(16), page 2215-2221
M. Pourpoune, R. Ramezanian, (2016) A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving, ISeCure-The ISC International Journal of Information Security, vol 8(1), page 3-24
A. Zarei, M. Pourpoune, R. Ramezanian (2016) A Note on Group Authentication Schemes, International Journal of Computer Network and Information Security, vol 5(8), page 18-24
O. Gheibi, R. Ramezanian, (2015) A process Algebraic form to represent extensive games, Control and Cybernetics, vol 44(1), page 129-148
A. Emdadi, R. Ramezanian, (2015), Simulation of Skulduggery in a Multi-Agent System, International Journal of Agent Technologies and Systems, vol 7(1)
A. Aghamohseni, R. Ramezanian, (2015), An efficient hybrid approach based on K-means and generalized fashion algorithms for cluster analysis, AI and Robotics (IRANOPEN), page 1-7
R. Ramezanian, M. Salehi, M. Magnani, D. Montesi, (2015), Diffusion of innovations over multiplex social networks, International Symposium on Artificial Intelligence and Signal Processing (AISP), 2015
F. Salehi, M. Pourpoune, R. Ramezanian, (2014) An Improvement over a Server-less RFID Authentication Protocol, International Journal of Computer Network and Information Security, vol 1(7), page 31-37
M. Amoozgar, R. Ramezanian, (2014), A Computational Model and Convergence Theorem for Rumor Dissemination in Social Networks, ISeCure-The ISC International Journal of Information Security, vol 5(2), page 141-154
M. Ardeshir, R. Ramezanian, (2012), A Solution to the Surprise Exam Paradox in Constructive Mathematics, Review of Symbolic Logic, vol 5(4), page 679-686
M. Ardeshir, R. Ramezanian, (2012), On the Constructive Notion of Closure Maps, Mathematical Logic Quarterly, vol 58, page 348-355
M. Ardeshir, R. Ramezanian, (2010), The double negation of the intermediate value theorem, Annals of Pure and Applied Logic, vol 161, page 737-744
M. Ardeshir, R. Ramezanian, (2009), Decidability and Specker Sequences in Intuitionistic Mathematics, Mathematical Logic Quarterly, vol 55, page 637-648
R. Ramezanian, (2009) Process Algebraic Modeling of Authentication Protocols for Analysis of Parallel Multi-Session Executions, ISeCure-The ISC International Journal of Information Security, vol 1, page 55-67
Working Papers
R. Ramezanian, (2024) Compromising Between Random Priority and Probabilistic Serial Mechanism, manuscript.
M. Pourpouneh, R. Ramezanian, A. Sen, V. Taori, (2024), Stable Matching with Privately Observed Payments, manuscript
R. Ramezanian, (2024), The Division Problem of Chances, https://dx.doi.org/10.2139/ssrn.4755425, Submitted to Games and Economic Behavior
R. Okhrati, R. Ramezanian, M. Rasouli (2023), Is reward sharing of Uniswap V3 fair?, manuscript
R. Ramezanian, (2022), A Decentralized Mechanisms to Issue a Stablecoin pegged to one kilometer Uber online-taxi drive, manuscript
R. Ramezanian, M. Mehrpanah, (2022), An Interpretable Approach to Stock Price Prediction, manuscript
R. Ramezanian, (2020), Regarding Artificial Intelligence, P is not equal to NP, https://www.academia.edu/42355679
R. Ramezanian, (2019), A Formal Axiomatization of Computation (P=NP is not provable in intuitionism mathematics), arXiv: 1907.03533
R. Ramezanian, M. Pourpoune, M. Feizi, (2019) Convex Combination of Random Assignment Properties, manuscript
R. Ramezanian, (2019), Computer Simulation Model Theory (P=NP is not provable), arXiv:1906.09873
R. Ramezanian, (2014), Non-predetermined Model Theory, https://arxiv.org/abs/1408.4681
R. Ramezanian, (2013), A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities), https://arxiv.org/abs/1302.0975
M. Ardeshir, R. Ramezanian, (2013), Epistemic Learning Programs a Calculus for Describing Epistemic Action Models, https://arxiv.org/abs/1304.6276v1
R. Ramezanian, (2012), Persistently Evolutionary Semantics, https://arxiv.org/abs/1207.0051
R. Ramezanian, (2012), Computation Environments, An Interactive Semantics for Turing Machines, https://arxiv.org/abs/1205.5994
Books
1. Computational Modeling of Social Systems, 2014, Persian
2. Social Intelligence, 2016, Persian
Organizing International Conferences and Workshops
2024, MATCH-UP workshops, Program Committee member,
7th International Workshop on Matching Under Preferences University of Oxford, United Kingdom
2022, Blockchain; A Game-Theoretic Cryptographic Ledger,
Blockchain Group, University of British Columbia, https://blockchain.ubc.ca/people/rasoul-ramezanian
2022, Presenting a Short Course on Blockchain Consensus Mechanisms, Invited Speaker
19th International ISC Conference on Information Security and Cryptography (ISCISC2022)
2017, Smart City Gamification Mechanisms
Workshop of the metropolis international conference on urban, planning and management, Mashhad, Organizer
2014, Mechanism Design and Computational Modeling of Social Systems,
http://math.ipm.ac.ir/conferences/2014/DGIPM, , Organizer
2010, Formal Methods, Sharif University of Technology, Organizer
Honors
July 2020, Global Challenges in Economics and Computation, https://www.gcec.org/winners, Winner of the Global Challenges in Economics and Computation (GCEC) Request for Proposals (RFP), July 17-19, 2020; Doing Better Well: Designing a Market for Allocating Donations, Rasoul Ramezanian, Mehdi Feizi and Bettina Klaus for designing a charity as a decentralized financial market
June 2018, ISTI Knowledge-Based and Innovative Support http://en.isti.ir/, Financial support for industrial innovation at my science-based company to work on multi agent solutions
Sept 2013 - Sept 2014, IPM Research Fund, http://www.ipm.ac.ir/about.jsp, Research Fund
August 2001, Studentship Performance, Rank 1st among 42 undergraduate university students
July 2000, National Mathematical Competition of Iranian Mathematical Society, https://fa.ims.ir/, Silver Medal of University Student Mathematical national Competition (I am an expert in mathematical proof)
June 1996, Computer Programming Competition, 4th medalist of High School Student Computer Programming national Competition
Leadership
Sept 2014 - June 2019, Sharif University of Technology, Supervising Ph.D. Student, Supervising Mohsen Pourpoune Najafabadi, Date: 2014-2019, Sharif University of Technology, Subject: Economic Mechanism Design, Trading Networks with Incomplete Information, Co-supervisor: Arunava Sen. Mohsen is now a post-doc at Center for Blockchains and Electronic Markets of University of Copenhangen.
Sept 2009 - Ongoing, Sharif University of Technology and Ferdowsi University of Mashhad, Supervising Master Students, Supervising more than 30 MS mathematics and computer sciences students in formal methods, game theory and formal security protocols.
Sept 2020 - Ongoing, Ferdowsi University of Mashhad, Supervising Ph.D. Students, Currently, I supervise two PhD students on token engineering and decentralized finance.
Teaching
2008-Ongoing, Graduate Courses
Game Theory and Mechanism Design
Formal Methods (Model Checking & Theorem Proving)
Cryptographic Protocols
Dynamic Epistemic Logic (Knowledge Reasoning)
Machine Learning
Mathematical Foundations of Data Science
Market and Social Networks (Networks, Crowds, and Markets: Reasoning About a Highly Connected World By David Easley and Jon Kleinberg)
2008-Ongoing, Computer Sciences Courses, Undergraduate Courses
Artificial Intelligence (Prolog; Logical and probabilistic Reasoning, introduction to Reinforcement learning, Markov Decision Process)
Logic for Computer Sciences (Hoare Logic, Temporal Logic, etc.)
Algorithm Design
Data Structure
Programming Languages: C, Solidity (smart contracts), Python, Java
Computation Theory I
Computation Theory II (complexity theory and recursive functions)
Data Science and Machine Learning (Data Cleaning, Data Visualization, Linear Regression, Logistic Regression, Decision Tree, K- Means Clustering, KNN, SVM algorithms, etc.)
2008-Ongoing, Economic Courses, Undergraduate Courses
Game Theory
Python for Finance (Python for Finance Mastering Data-Driven Finance, Yves Hilpisch)
Foundation of Economics (introduction to micro and macroeconomics)
Agent-based modeling and simulation (Netlogo, simulation for the social scientist, Klaus G.Troitzsch and Nigel Gilbert)
2008-Ongoing, Mathematics Courses, Undergraduate Courses
Mathematical Logic
Probability theory
Combinatorial Optimization
Linear Algebra
Discrete mathematics and Graph Theory
Abstract Topology
Calculus
Media (my Persian economic articles ) :
خبرگزاري فرارو
روزنامه دنياي اقتصاد
هفته نامه تجارت فردا
I designed a Rebase Stablecoin with Continuing Coin Offering
(stable and popular)