Arash Pourdamghani

Arash Pourdamghani

CV

Publications

Polynomial-time Fence Insertion For Structured Programs

Joint work with Mohammad Taheri and Mohsen Lesani

33rd International Symposium on Distributed Computing (DISC2019)

PDF

Probabilistic Smart Contracts: Secure Randomness on the Blockchain

Joint work with Krishnendu Chatterjee and Amir Kafshdar Goharshady

2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC2019)

PDF, HAL, arXiv

Hybrid Mining: Exploiting Blockchain's Computational Power for Distributed Problem Solving

Joint work with Krishnendu Chatterjee and Amir Kafshdar Goharshady

34th ACM Symposium on Applied Computing (SAC2019)

PDF, HAL, Slides

Research Experience

Research Intern at IST Austria in summer 2018.

In Chatterjee's group

Working on different frameworks to enhance their efficiency and accuracy using an algorithmic method. Specifically, we first introduced a novel method to extend proof of work systems in the blockchain, and in the other project, I work on new ways of enhancing the verification of Java Algorithms by tree decomposition.

Visiting Research Intern at Chinese University of Hong Kong (CUHK) in summer 2017.

Under the supervision of Prof. J. Cheng

During this internship, we surveyed Learn to Hash algorithms and then investigate their extension on maximum inner product search.

Undergraduate member at Sharif University of Technology (SUT) Algorithm Laboratory since fall 2016.

Under the supervision of Prof. M. Ghodsi

Currently we are working on a extensions of the blockchain that are power-efficient and also a novel type of cryptocurrency systems that can achieve better concurrency than existing systems

• Selected for Iran's first research programme for undergraduate students, 2016

Working on ‎Extended Rationality In a Singleton Congestion Game with Player-Specific Cost Functions

Honors & Awards

• ACM SIGAPP Student Travel Grant for SAC 2019

• Awarded for success in studies by the university president.

• Recipient of the Grant for Undergraduate Studies, from the Iran’s National Elites Foundation. (BMN).

• Silver Medal in the 23rd Iranian National Olympiad in Informatics (INOI).

Teaching Experience

Teaching assistant of

• Data Structures and Algorithms‎, Prof. Mohammad ‎Ghodsi‎, ‎Fall 2016‎, Fall 2017‎‎, Fall 2018

• Algorithms Design and Analysis, Dr. Mohammad Abam, Fall 2018

• Data Structures and Algorithms‎, Dr‎. Sharare Alipour‎, ‎Fall 2018‎

• Engineering Probability & Statistics‎, Dr‎. Ali ‎Sharifi Zarchi, ‎Fall 2018‎

• Data Structures and Algorithms‎, Dr‎. Ali ‎Sharifi Zarchi‎, ‎Spring 2016‎, Spring 2017‎, Spring 2018

• ‎Algorithmic ‎Game ‎Theory, Dr. Masoud ‎Seddighin, ‎Fall ‎2017‎‎

• Compilers Design, Dr. Ali Sharifi Zarchi, Fall 2017

• Algorithms Design and Analysis, Prof. Mohammad Ghodsi, Spring 2017‎

• Fundamental of Programming‎, Dr. Mohammad ‎Rivadeh‎, ‎Spring 2015‎

Computer olympiad instructor at

• Iranian National Olympiad in Informatics (INOI) Summer Camp,

• Allameh Tabatabayi Cultural and Educational Complex (ATTCE).