Soroush Farokhnia

PhD Student
Hong Kong University of Science and Technology
sfarokhnia@connect.ust.hk

About Me

I am currently a student of Doctorate of Philosophy (PhD) in Computer Science and Engineering under the supervision of Amir Goharshady.

Research Interests

Formal Verification, Parametrized Algorithms, Smart Contracts

Publications

  1. 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.

  2. S. Farokhnia, A.K. Goharshady
    Options and Futures Imperil Bitcoin’s Security
    IEEE International Conference on Blockchain, Blockchain 2024

  3. 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

  4. 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

  5. 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

Presentations and Talks

  1. Cardano Summit
    2024
    Invited Talk
    Title: Optimizing Rewards: Cutting-Edge Research Insights

  2. IEEE International Conference on Blockchain (Blockchain)
    2024
    Oral Presentation
    Title: Options and Futures Imperil Bitcoin’s Security

  3. Object‑Oriented Programming, Systems, Languages, and Applications (OOPSLA)
    2023
    Oral Presentation
    Title: Asparagus: Automated Synthesis of Parametric Gas Upper‑bounds for Smart Contracts

  4. IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
    2023
    Oral Presentation
    Title: Reducing the gas usage of Ethereum smart contracts without a sidechain

Visits, Internships, and Work Experiences

  1. Formal Verification Intern
    July-September 2024
    Nethermind internship program
    Remote

  2. Researcher
    2020-2021
    Machine Vision Laboratory Lab
    Mashhad, Iran

  3. Backend Developer
    2017-2020
    Done co.
    Tehran, Iran


Powered by Jekyll and Minimal Light theme.