Education
Ph.D. Computer Science, University of Warwick, September 2014.
Thesis Title: Automated Equivalence Checking of Quantum Information Systems
Supervisors: Rajagopal Nagarajan (until 2012), Ranko Lazic,
M.Res. Logic and Computation, Swansea University, 2009.
Thesis Title: On the Provability of Consistency of Equational Theory PV
Supervisor : Arnold Beckmann
BSc. Applied Mathematics, University of Mazandaran (Permanent guest student to University of Tehran),
2007.
Fields of Interest
Quantum Technologies, Quantum Information and Computation, Quantum Programming, Quantum Ma-
chine Learning, Quantum Software Architecture, Formal Verification of Quantum Systems, Verification of AI
Systems, Formal Methods in Software Engineering and Security, Rigorous System Design, Cyber-Physical
Systems, Parametrized Complexity, Mathematical Logic, Proof Complexity and Bounded Arithmetic.
Academic Experience
Institute for Research in Fundamental Sciences (IPM)
Senior Postdoctoral Fellow, School of Computer Science, November 2017 - now.
Postdoctoral Fellow, School of Computer Science, November 2014 - 2017.
Head of Theoretical Computer Science Group, Dec 2019 - now
Member of IPM Quantum Information and Computation group, 2016 - present.
Invited lecturer to Shahid Beheshti University (SBU), Linear Algebra for Computer Science, 2018.
Invited lecturer to Shahid Beheshti University (SBU), Foundation of Theory of Computation, 2019.
VERIMAG Laboratory for Embedded Systems, Grenoble, France
Postdoctoral fellow, September 2016 - March 2017. (Host: Prof. Joseph Sifakis)
CWI, Amsterdam, Netherlands
Visiting Scholar, December 2016, May 2018. (Host: Prof. Farhad Arbab)
University of Bergen, School of Informatics, Norway
Strategic Programme for International Research and Education (SPIRE), Visiting Scientist, until De-
cember 2021. (Host: Dr. Mateus de Oliveira Oliveira)
University of Warwick, Department of Computer Science
Postgraduate Research Student, Dep. Computer Science, October 2009{October 2012.
Teaching Assistant:
Module CS130: Mathematics for Computer Science, Fall 2009/Fall 2010/Fall 2011.
Module CS242: Formal Specification and Verification, Spring 2010/2011/2012.
Module CS245: Automata and Formal Languages, Spring 2012.
University of Warwick, Centre for Discrete Mathematics and its Applications (DIMAP)
Research Sta , DIMAP, October 2009{October 2013.
University of Glasgow, School of Computing
Visiting Postgraduate Researcher (with Prof. Simon Gay), October 2013{March 2014.
Swansea University, Department of Computer Science
Research Student, MRes in Logic and Computation October 2007{ January 2009.
Research Visitor, January 2009{June 2009.
Research
Publications
1. Compositional Design of Hybrid Systems Coordination using Reo (with A Farhadi, F Arbab), Elsevier
Journal of Systems Architecture, invited submission, under review.
2. Automated Equivalence Checking of Concurrent Quantum Processes (with S.Gay and R.Nagarajan)
[ACM Transaction on Computational Logic, 2018 Publisher Link]
3. MASKS: A Multi-Artificial Neural Networks System's verification approach (with A Hoseinpour Dehko-
rdi, M. Alizadeh, A. Movaghar), IEEE Transactions on Neural Networks and Learning Systems, sub-
mitted.
4. Simulation of Hybrid Reo Connectors (with A Farhadi, F Arbab), CSI/CPSSI International Symposium
on Real-Time and Embedded Systems and Technologies (RTEST) 2020, IEEE Xplore, published.
5. Reo Coordination Model for Simulation of Quantum Internet Software (With F. Arbab) [ accepted in:
16th International workshop on Foundations on Coordination Languages and Self-Adaptive Systems
(FOCLASA). Lecture Notes in Computer Science, Springer 2018.
6. Privacy Preservation in Cross-User Data Deduplication (with Hoda Jannati and Behnam Bahrak)[accepted
in Springer Journal of Mobile Networks and Applications, 2018]
7. Detecting Relay Attacks on RFID Communication Systems Using Quantum Bits (with Hoda Jannati)
[Journal of Quantum Information Processing, Springer, 2016]
8. Equivalence Checking of Quantum Protocols (With S.Gay and R.Nagarajan) [ Appeared in: 19th Inter-
national Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Volume 7795 Lecture Notes in Computer Science, pages 466-480, Springer 2013. Publisher Link]
9. Verification of Concurrent Quantum Protocols by Equivalence Checking (With S.Gay and R.Nagarajan)
[ Appeared in: 20th International Conference on Tools and Algorithms for the Construction and Analy-
sis of Systems (TACAS'14). Volume 8413 Lecture Notes in Computer Science, pages 500-514, Springer
2014. Publisher Link]
10. (Poster) Automated Verification of Quantum Protocols by Equivalence Checking [In 17th International
Conference on Quantum Information Processing (QIP 2014).Publisher Link]
11. Parallel Hermite Interpolation on the Pyramid (IEEE 2007). IEEE Xplore
In Progress Papers
Coordination Models for Simulation of Quantum Internet Software (With F. Arbab),
Compositional Synthesis of Hybrid Data ow Networks using BIP (with Joseph Sifakis, Marius Bozga).
Reversiblity in BIP Framework (with Jean-Bernard Stefani).
Recent Talks
Formal Analysis of Processes in Quantum and Biological Systems, School of Biological Sciences (IPM),
February 2015.
Formal Verification of Quantum Communication Protocols, IPM-NUS Workshop, March 2015.
Verifying Concurrent Quantum Communication Protocols, Amir Kabir University of Technology, April
2015.
A Tale of Quantum Computing: A Computer Scientist's Perspective, IPM School of Physics, August
2015.
Specification and Verification of Quantum Systems, March 2017, LIG laboratory, Grenoble.
Reversible glue operators for component based systems, July 2017, Shonan Meeting, Tokyo.
Reversing the Computation:An Introduction to Reversible Computing and its Applications,Sharif Uni-
versity of Technology, October 2017.
Programming Concepts in Quantum Computing, School of Nano Sciences (IPM), July 2019.
Supervision
Co-supervisor: Amir Dehkordi, (PhD student at IPM School of Computer Science)
Co-supervisor: Maede Ebrahimi (MSc. student at Amirkabir University of Technology, Physics depart-
ment.
Supervisor: Mohsen Pourpooneh (PhD student at Sharif University of Technology (now at University of
Copenhagen), Public service replacement project titled: Gossip protocols in social networks)
Events Organizing
International Symposium on Real-Time and Embedded Systems and Technologies (RTEST) 2020, IPM,
Tehran. (publicity chair)
IPM Advanced School on Computing: Theory and Practice of Programming Languages,Co-Organizer,
August 2017.
IPM Advanced School on Computing : Formal Methods for Design and Analysis of Computer Systems.
Co-Organizer, January 2016.
IPM Formal Methods Day, January 2016.
Verification and Validation of Cyber-Physical Systems (V2CPS), June 2016, Reykjavik.
Selected Conferences and workshops attended
Quantum Physics and Logic (QPL), Universit libre de Bruxelles, September 2012.
Bristol Quantum Algorithm Day , University of Bristol, February 2012.
First annual conference on Quantum Cryptography (QCRYPT), ETH Zurich, September 2011
Quantum Information Science Scotland, University of Edinburgh, July 2011.
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, St Anne's
College Oxford, September 2010.
European Joint Conferences on Theory and Practice of Software (ETAPS) March 2013, Rome
Quantum Information Processing (QIP) conference, February 2014, Barcelona.
Symposium Quantum Software in the Netherlands (QuSoft institute opening),November 2016, Amster-
dam.
International Workshop on Foundations Of Coordination Languages And Self-Adaptative systems, June
2018, Toulouse.
Workshop Its all about Coordination: celebrating the lifelong scientific achievements of Farhad Arbab
on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI), May
2018, Amsterdam.
Grants, Awards, & Fellowships
Machine Leraning and Optimization for enhancing Quantum Algorithms and Computation (joint with
IPM School of Nano sciences), granted, 2020.
Design and Analysis of Quantum Inspired Optimization Algorithms using Parametrized Complexity, Iran
National Science Foundation, (INSF), 2021
National Elite Foundation, Postocrotal grant, (Sharif and Amirkabir University of Technology,2017)[awarded,
not taken], 2017.
National Elite Foundation, (Public Service Replacement Project), 2015.
(EPSRC/DIMAP/Warwick) Doctoral Studentship Award, University of Warwick, 78,000 $+ 4000 $
travel fund.
EPSRC Network on Structures at the Interface of Physics and Computer Science, 2000 $ travel fund.
ETH Zurich/Qcrypt, 400 travel fund.
Swansea University Research Bursary 6000 $, Swansea University.
References
Joseph Sifakis
Professor of Computer Science
Ecole Polytechnique Federale de Lausanne (EPFL) and CNRS Verimag
joseph.sifakis@imag.fr
Farhad Arbab
Professor of Computer Science
Centre for Mathematics and Computer Science (CWI)
Farhad.Arbab@cwi.nl
Ranko Lazic
Professor of Computer Science
University of Warwick
R.S.Lazic@warwick.ac.uk
Rajagopal Nagarajan
Professor of Foundations of Computing
Middlesex University
R.Nagarajan@mdx.ac.uk
Simon Gay
Professor in Computing Science
University of Glasgow
Simon.Gay@glasgow.ac.uk
Arnold Beckmann
Professor in Computer Science
Swansea University
a.beckmann@swansea.ac.uk
Hamid Sarbazi-Azad
Professor of Computer Engineering & IPM
Department of Computer Engineering Sharif University of Technology
