I am currently a student of Doctorate of Philosophy (PhD) in Computer Science and Engineering under the supervision of Amir Goharshady.
Formal Verification, Parametrized Algorithms, Smart Contracts
T. Barakbayeva, S. Farokhnia, A.K. Goharshady, M. Gufler, S. Novozhilov
Pixiu: Optimal Block Production Revenues on Cardano
IEEE International Conference on Blockchain, Blockchain 2024
In collaboration with the Cardano Foundation.
S. Farokhnia, A.K. Goharshady
Options and Futures Imperil Bitcoin’s Security
IEEE International Conference on Blockchain, Blockchain 2024
Z. Cai, S. Farokhnia, A.K. Goharshady, S. Hitarth
Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart Contracts
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2023
S. Farokhnia, A.K. Goharshady
Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023
S. Farokhnia, A.K. Goharshady
Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts
ACM Symposium on Applied Computing, SAC 2023
Cardano Summit
2024
Invited Talk
Title: Optimizing Rewards: Cutting-Edge Research Insights
IEEE International Conference on Blockchain (Blockchain)
2024
Oral Presentation
Title: Options and Futures Imperil Bitcoin’s Security
Object‑Oriented Programming, Systems, Languages, and Applications (OOPSLA)
2023
Oral Presentation
Title: Asparagus: Automated Synthesis of Parametric Gas Upper‑bounds for Smart Contracts
IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
2023
Oral Presentation
Title: Reducing the gas usage of Ethereum smart contracts without a sidechain
Formal Verification Intern
July-September 2024
Nethermind internship program
Remote
Researcher
2020-2021
Machine Vision Laboratory Lab
Mashhad, Iran
Backend Developer
2017-2020
Done co.
Tehran, Iran
Powered by Jekyll and Minimal Light theme.