Amir Kafshdar Goharshady
Amir Kafshdar GoharshadyInstitute of Science and Technology AustriaAm Campus 1, Klosterneuburg, 3400, AustriaPhone: 43-688-64896398Email: goharshady@ist.ac.at, goharshady@gmail.comWebpage: goharshady.comProfiles: Google Scholar, dblp, LinkedInEducation2020PhD in Theoretical Computer Science (Verification)IST Austria (Institute of Science and Technology Austria)Advisor: Krishnendu ChatterjeeThesis: “Parameterized and Algebro-geometric Advances in Static Program Analysis”2017MSc in Computer Science (Systems)Georgia Tech (Georgia Institute of Technology)2017Graduate Diploma in MathematicsUniversity of London (London School of Economics and Political Science)2015BSc in MathematicsYazd University2014BSc in Computer ScienceYazd UniversityGrants and Fellowships2019Facebook PhD Fellowship – 159,000 USD2019Facebook Research Internship Fellowship – 56,000 USD2018Doctoral Fellowship (DOC) of the Austrian Academy of Sciences – 112,500 EUR2018IBM PhD Fellowship – 120,000 USD – declined in 20192015IST Austria PhD Fellowship – 180,000 EUR2019Scheme 7 Research Grant of the London Mathematical Society (LMS) – 1,000 GBP2019IEEE ComSoc Student Travel Grant for ICBC – 600 USD2019ACM SIGPLAN Student Grant for POPL/PLMW – 650 USD2018Scheme 7 Research Grant of the London Mathematical Society (LMS) – 500 GBP2017Internship Fellowship of the IMDEA Software Institute – 7,000 EUR2015Internship Scholarship of the Austrian Exchange Agency (OeAD) – 3,600 EUR2012–2015Yazd University Exceptional Talent Fellowship – 6,000 EUR2011–2015Iranian National Elites Foundation Stipend – 2,400 EUR1
Awards and 20132011IEEE Computer Society Best Student Paper AwardAlso known as the Lance Stafford Larson PrizeFirst Place for [OOPSLA’19], 500 USDFirst Place for [POPL’19], 500 USDKhwarizmi Research AwardIran’s Most Prestigious Research PrizeAwarded by the Iranian President to 10 researchers each yearRanked First in the “Basic Sciences” Category, 5,000 EURYoungest laureate in the history of the Award (age at the time: 23)Heidelberg Laureate Forum (HLF)Meeting of Turing and Fields Laureates with Selected Young ResearchersSelected for attendance in the 8th HLF (postponed due to the pandemic)Attended the 3rd HLF with nomination by ACMInternational Mathematics Competition for University Students (IMC)Gold Medal (First Prize)Silver Medal (Second Prize)Silver Medal (Second Prize)Bronze Medal (Third Prize)ACM International Collegiate Programming Contest (ICPC)World FinalistGold Medal (1st Team) – Asian Regional Contest, LahoreBronze Medal – Asian Regional Contest, TehranBronze Medal – Asian Regional Contest, Tehran2015Outstanding Improvement Award(as Leader of Yazd University Mathematics Competitions Team)Awarded by the Iranian Mathematical Society for the highest 3-year performancegrowth among teams participating in the Iranian Mathematics Competition2014Southeastern European Mathematics Olympiad for University StudentsGold Medal2017201620142013201220112010North Countries Universities Mathematical CompetitionThird PrizeThird PrizeIranian Nationwide Exam for Entrance to Graduate Studies (Concours)Ranked 3rd in Computer Science and 13th in MathematicsRanked 11th in Sanjesh Olympiad in MathematicsIranian Mathematics Competition for University Students (IMS)Silver MedalBronze MedalIranian National Olympiad in InformaticsSilver MedalSilver Medal2
PublicationsIn Computer Science, conferences are the main peer-reviewed venue of publication andconference papers are usually more prestigious than journal articles. Especially, publishing in flagship and top-rated conferences is extremely competitive.Conference rankings below are quoted from the CCF (Chinese Computing Federation)and CORE (Computing Research and Education, Australia) websites. The highestpossible rank is A in CCF and A in CORE. Note that CCF is extremely selective andonly the very top conferences/journals are ranked as A.Following the norms of Theoretical Computer Science, names appear in alphabeticalorder, except that co-authors who are located in countries where the order matters intheir career (e.g. China, Iran, Russia) are put first.Peer-reviewed Conference Publications[ATVA’20]CORE: A[PLDI’20]CCF: A, CORE: A [ESOP’20]CORE: A[OOPSLA’19]CCF: A, CORE: A [PLDI’19]CCF: A, CORE: A 1. A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. PavlogiannisFaster Algorithms for Quantitative Analysis of MCs and MDPs withSmall Treewidth18th International Symposium on Automated Technology for Verification and Analysis, ATVA 20202. K. Chatterjee, H. Fu, A.K. Goharshady, E.K. GoharshadyPolynomial Invariant Generation for Non-deterministic Recursive Programs41st ACM Conference on Programming Language Design and Implementation,PLDI 20203. K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. PavlogiannisOptimal and Perfectly Parallel Algorithms for On-demand Data-flowAnalysis29th European Symposium on Programming, ESOP 20204. M. Huang, H. Fu, K. Chatterjee, A.K. GoharshadyModular Verification for Almost-Sure Termination of Probabilistic Programs34th ACM Conference on Object-Oriented Programming, Systems, Languages, andApplications, OOPSLA 2019IEEE Computer Society Best Student Paper Award5. P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. ShiCost Analysis of Nondeterministic Probabilistic Programs40th ACM Conference on Programming Language Design and Implementation,PLDI 2019[ICBC’19]6. K. Chatterjee, A.K. Goharshady, A. PourdamghaniProbabilistic Smart Contracts: Secure Randomness on the BlockchainIEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019[SAC’19a]7. K. Chatterjee, A.K. Goharshady, A. PourdamghaniHybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving34th ACM Symposium on Applied Computing, SAC 2019CORE: B3
[SAC’19b]CORE: B[POPL’19]CCF: A, CORE: A [CONCUR’18]CORE: A8. K. Chatterjee, A.K. Goharshady, E.K. GoharshadyThe Treewidth of Smart Contracts34th ACM Symposium on Applied Computing, SAC 20199. K. Chatterjee, A.K. Goharshady, N. Okati, A. PavlogiannisEfficient Parameterized Algorithms for Data Packing46th ACM Symposium on Principles of Programming Languages, POPL 2019IEEE Computer Society Best Student Paper Award10. K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. VelnerErgodic Mean-payoff Games for the Analysis of Attacks in Cryptocurrencies29th International Conference on Concurrency Theory, CONCUR 2018[Blockchain’18]11. A.K. Goharshady, A. Behrouz, K. ChatterjeeSecure Credit Reporting on the BlockchainIEEE International Symposium on Blockchain and its Applications, Blockchain2018[IJCAI’18]12. K. Chatterjee, H. Fu, A.K. Goharshady, N. OkatiComputational Approaches for Stochastic Shortest Path on SuccinctMDPs27th International Joint Conference on Artificial Intelligence, IJCAI 2018CCF: A, CORE: A [ESOP’18]CORE: A[ATVA’17]CORE: A[CAV’17]CCF: A, CORE: A [CAV’16]CCF: A, CORE: A [POPL’16]CCF: A, CORE: A [SGT’15]13. K. Chatterjee, A.K. Goharshady, Y. VelnerQuantitative Analysis of Smart Contracts27th European Symposium on Programming, ESOP 201814. K. Chatterjee, A.K. Goharshady, A. PavlogiannisJTDec: A Tool for Tree Decompositions in Soot15th International Symposium on Automated Technology for Verification and Analysis, ATVA 201715. K. Chatterjee, H. Fu, A.K. GoharshadyNon-polynomial Worst-case Analysis of Recursive Programs29th International Conference on Computer Aided Verification, CAV 201716. K. Chatterjee, H. Fu, A.K. GoharshadyTermination Analysis of Probabilistic Programs through Positivstellensatz’s28th International Conference on Computer Aided Verification, CAV 201617. K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. PavlogiannisAlgorithms for Algebraic Path Properties in Concurrent Systems ofConstant Treewidth Components43rd ACM Symposium on Principles of Programming Languages, POPL 201618. M.R. Hooshmandasl, M.A. Meybodi, A.K. Goharshady, A.ShakibaA Combinatorial Approach to Certain Topological Spaces Based onMinimum Complement S-Approximation Spaces8th Iranian Seminar on Geometry and Topology, 20154
Peer-reviewed Journal Publications[IJMSI’20]19. A. Shakiba, A.K. Goharshady, M.R. Hooshmandasl, M.A. MeybodiA Note on Belief Structures and S-Approximation SpacesIranian Journal of Mathematical Sciences and Informatics, IJMSI 2020[RESS’20]20. A.K. Goharshady, F. MohammadiAn Efficient Algorithm for Computing Network Reliability in SmallTreewidthReliability Engineering and System Safety, 2019IF:4.039[TOPLAS’19a]CCF: A[TOPLAS’19b]CCF: A[TOPLAS’18]CCF: A21. K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. PavlogiannisFaster Algorithms for Dynamic Algebraic Queries in Basic RSMs withConstant TreewidthACM Transactions on Programming Languages and Systems, TOPLAS 201922. K. Chatterjee, H. Fu, A.K. GoharshadyNon-polynomial Worst-case Analysis of Recursive ProgramsACM Transactions on Programming Languages and Systems, TOPLAS 201923. K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. PavlogiannisAlgorithms for Algebraic Path Properties in Concurrent Systems ofConstant Treewidth ComponentsACM Transactions on Programming Languages and Systems, TOPLAS 2018[DAM’15]24. A.K. Goharshady, M.R. Hooshmandasl, M.A. Meybodi[1, 2]-sets and [1, 2]-total Sets in Trees with AlgorithmsDiscrete Applied Mathematics, 2015[JDM’14]25. M.R. Hooshmandasl, A. Shakiba, A.K. Goharshady, A. KarimiS-Approximation: A New Approach to Algebraic ApproximationJournal of Discrete Mathematics, 2014Submitted Manuscripts Awaiting Peer-Review[ACFGM’20][WSFCG’20][WSFCGH’20] A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. MahdaviPolynomial Reachability Witnesses via Stellensätze J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. GoharshadyQuantitative Analysis of Assertion Violations in Probabilistic Programs J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, M. HuangConcentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence RelationsSupervising 2019Scientific Supervision of Research Interns at IST AustriaPratyush Agarwal, Mehrdad Karrabi, Mohammad Mahdavi, Parsa Mirtaheri, ShreyaPathakAli Asadi, led to publication [ATVA’20]Kiarash Mohammadi, led to publication [ATVA’20]Ehsan Kafshdar Goharshady, led to publications [SAC’19b, PLDI’20]Arash Pourdamghani, led to publications [SAC’19a, ICBC’19]5
2017–2018Ali Behrouz, led to publication [Blockchain’18]Nastaran Okati, led to publications [IJCAI’18, POPL’19]2018–2019Co-leader of the University of Bristol Mathematics Team at IMC2013–2015Co-leader of Yazd University Mathematics Competitions Team2018Teaching ExperienceAs Lecturer2014–20152012–201520142010–2015Yazd University (Undergraduate Courses)Problem Solving for Mathematics CompetitionsDesign and Implementation of AlgorithmsShahid Bahonar University of Kerman (Undergraduate Course)Design and Implementation of AlgorithmsMathematics and Computing Olympiads Training Courses– National Exceptional Talents Organisation of Iran– Education Organisations of Provinces of Kerman, Yazd and Khorasan-e Razavi– High Schools of Hasheminejad (Mashhad), Farzanegan (Mashhad), Tabatabaee (Bonab),Ejei (Isfahan), Sadouqi (Yazd) and Farzanegan Amin (Isfahan)As Teaching Assistant2017IST Austria (PhD Courses)Computer Science Track Core Course (Complexity Theory)Formal MethodsComputer Science Track Core Course (Randomised Algorithms)2016Sharif University of TechnologyData Structures and Algorithms202020182014Yazd UniversityProgramming with C, Advanced Programming with C (Enumerative) Combinatorics, (Abstract) Algebra, Matrices and Linear Algebra2017Art of Problem Solving (AoPS)2015Courses for Gifted High School Students and USA Maths Olympiad PreparationIntroduction to Algebra, Prealgebra, Introduction to Geometry, Introduction to Counting and Probability, AMC Advanced PreparationAs Grader2018–20192017International Mathematics Competition for University Students (IMC)Czech-Polish-Slovak-Austrian (CPSA) Mathematics Olympiad6
Exchange, Research Visits and Internships09/2019 – 12/201902/201809/2017 – 12/2017Facebook ResearchPhD Research Intern, Facebook Blockchain Research Team (Calibra)University of BristolVisiting Researcher, Fixed-Parameter Computational AlgebraHosted by Fatemeh MohammadiMadrid Institute for Advanced Studies (IMDEA)Research Intern, Logics and Algorithms for Verification of HyperpropertiesAdvised by César Sánchez2016University of ViennaGuest Doctoral Student2016Vienna University of Technology (TU Wien)Guest Graduate Student06/2015 – 09/20152013 – 20152013IST AustriaResearch Intern, Fixed-Parameter Algorithms for Program VerificationAdvised by Krishnendu ChatterjeeYazd Laboratory of Quantum Information ProcessingResearch Assistant, Algorithms for Domination-like Problems on GraphsAdvised by Mohammad Reza HooshmandaslHakim Sabzevari UniversityVisiting Undergraduate StudentProfessional ActivitiesProgram Committee MembershipInt’l Conference on Concurrency Theory (CONCUR 2020)Peer-reviewInformation and ComputationInt’l Symposium on Mathematical Foundations of Computer Science (MFCS 2020)ACM Transactions on Computational Logic (TOCL)Int’l Journal of Network ManagementInt’l Conference on Computer Science Logic (CSL 2020)Int’l Conference on Quantitative Evaluation of Systems (QEST 2019)Int’l Colloquium on Automata, Languages and Programming (ICALP 2019, 2020)IEEE Transactions on ReliabilityInt’l Conference on Algebraic Combinatorics (FPSAC 2018)Information Processing LettersActa Mathematica SinicaAdministrative ister of Computer Science PhD Applicants at IST AustriaRepresentative of Computer Science Graduate Students at IST AustriaMember of IST Austria’s Task Force for the Improvement of the PhD ProgramMember of IST Austria’s internal awards committee for Best Lecturer and Best Teaching Assistant Awards7
Talks and PresentationsInvited Talks10/2020Applications of Positivstellensätze and Nullstellensätze in Formal ProgramVerification, Yazd University06/2020Formal Verification for the 21st Century, Hong Kong University of Science andTechnology03/2020Parameterized Complexity of Verification Problems, Royal Holloway, University of London03/2020Advances in Program Analysis through Parameterization and Positivstellensätze, ETH Zürich02/2020Advances in Program Analysis through Parameterization and Positivstellensätze, TU Wien01/2020Towards a Verifiably Secure Blockchain and Smart Contract Platform, Sidney Sussex College, University of Cambridge12/2019Termination Analysis of Probabilistic Programs, Aarhus University12/2019Parameterized Algorithms in Static Analysis, Imperial College London10/2019Parameterized Algorithms in Static Analysis, University of Bristol10/2018Introduction to Competitive Programming, Yazd University09/2014An Invitation to National Undergraduate Mathematics CompetitionsVali-e Asr University of RafsanjanYazd University08/2014Conference Presentations06/2020Polynomial Invariant Generation for Non-deterministic Recursive Programs,41st ACM Conference on Programming Language Design and Implementation (PLDI)05/2019Probabilistic Smart Contracts: Secure Randomness on the Blockchain, IEEEInternational Conference on Blockchain and Cryptocurrency (ICBC)01/2019Efficient Parameterized Algorithms for Data Packing, 46th ACM Symposiumon Principles of Programming Languages (POPL)09/2018Quantitative Analysis of Smart Contracts, 12th Alpine Verification Meeting(AVM)09/2018Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,29th International Conference on Concurrency Theory (CONCUR)07/2018Secure Credit Reporting on the Blockchain, IEEE International Symposium onBlockchain and its Applications07/2018Computational Approaches for Stochastic Shortest Path on Succinct MDPs,27th International Joint Conference on Artificial Intelligence (IJCAI)04/2018Quantitative Analysis of Smart Contracts, 27th European Symposium on Programming (ESOP)8
10/2017Faster Techniques for Analysis of Control Flow Graphs using Tree Decompositions, 15th International Symposium on Automated Technology for Verificationand Analysis (ATVA)10/2016A Unifying Algorithm for Domination-like Problems in Graphs with Constant Treewidth, 6th Polish Combinatorial ConferenceOther Activities and SkillsLanguagesPersian: Native (also familiar with Tajiki script)English: FluentFrench: Basic (can read and write technical texts in computer science and math)Arabic: IntermediateGerman: BasicComputing SkillsProfessional in C, C and JavaFluent in PythonFamiliar with Android Development, Linux Shell Scripting, MIPS and JavaScriptOS: Debian-based distros of GNU/Linux, Editors: GNU Emacs and EclipseExperienced in LATEXMembershipsIEEE Communications Society, since 2019IEEE Computer Society, since 2018Society for Industrial and Applied Mathematics (SIAM), since 2016Association for Computing Machinery (ACM), since 2011Iranian National [Scientific] Elites Foundation (BMN), since 2010Young Scholars Club of Iran (YSC), 2010 to 2015Iranian Mathematical Society, 2012 to 2014References(Sorted alphabetically)Krishnendu ChatterjeeProfessorIST AustriaAm Campus 13400 Klosterneuburg, AustriaEmail: krishnendu.chatterjee@ist.ac.atThomas A. HenzingerProfessor / PresidentIST AustriaAm Campus 13400 Klosterneuburg, AustriaEmail: tah@ist.ac.atLaura KovácsProfessorVienna University of TechnologyFavoritenstraße 111040 Vienna, AustriaEmail: laura.kovacs@tuwien.ac.atJean-François RaskinProfessorUniversité Libre de BruxellesCampus de la Plaine, CP2121050 Brussels, BelgiumEmail: jraskin@ulb.ac.be9
15th International Symposium on Automated Technology for Veri cation and Anal-ysis, ATVA 2017 [CAV’17] 15. CCF: A, CORE: A Non-polynomial Worst-case Analysis of Recursive Programs K. Chatterjee, H. Fu, A.K. Goharshady 29th International Conference on Computer Aided Veri cation, CAV 2017 [CAV’16] 16.
The Spark Big Data Analytics Platform Amir H. Payberah amir@sics.se Amirkabir University of Technology (Tehran Polytechnic) 1393/10/10 . I Storm, S4, SEEP, D-Stream, Naiad, . Amir H. Payberah (Tehran Polytechnic) Spark
days kite fighting in Kabul in the 1970s in The Kite Runner. Hassan is a successful "kite runner," as he knows where the kite will fall without having to observe it. Amir is a competent kite flyer. Amir's father, lovingly known as Baba, is a wealthy trader who adores the boys but is often harsh on Amir. Baba does not
Mohammad Kazem Atefvahid Ahmad Hajebi Hafez Bajoghli Peyman Hassani Abharian Mehrdad Bakhtiari Hossein Hassanian- Moghaddam Farid Barati sedeh Gholamreza Heydari Mohammad Binazadeh Amir Hossein Jalali Nedoshan Amir Hossein Batouli Seyed Mohammad Hossein Javadi Jafar Bolhari Mohammad Taghi Joghataei Reza Daneshmand Fariba Karimzadeh
Amir Yehudayoff (Technion) Olivier Bousquet (Google) Steve Hanneke (TTIC) Shay Moran (Technion & Google) Ramon van Handel (Princeton) Created Date 10/5/2020 3:17:27 PM
Open Phase Conditions in Transformers Analysis and Protection Algorithm Amir Norouzi GE Digital Energy Markham, ON amir.norouzi@ge.com Abstract—This paper first provides an in-depth analysis of open phase conditions in three phase power transformers. It desc
Tel Aviv Hotel Michael Frogel, MD, APF Amir Blumenfeld, MD Sunday 11.09.2014 9:00 – 9:30 Opening remarks and introductions Shaarey Tzedek, Jerusalem Bruria Adini, PhD Michael Frogel, MD, APF Amir Blumenfeld, MD 9:30 – 10:15 Preparedness of the hospital to MCIs i
Mohsen Moradi1, Manoj K. Nambiar, Amir Nazem, Md. Rafsan Nahian, William D. Lubitz, Amir A. Aliabadi* School of Engineering Guelph, University of Guelph 1moradim@uoguelph.ca, Benjamin Dyer Department of Physics and Astronomy McMaster University Hamilton, Canada E. Scott Krayenhoff Sc
English A Practical Course in British English Pronunciation FREE SAMPLE Chapter 1 pdf mp3 Written & Produced at the Pronunciation Studio. 1 Introduction 2 How to use the book. 3 IPA Chart Index 1 Introduction 2 How to use the book. 3 IPA Chart Chapter/ Page Sounds Sound Comparison Spelling & Sound 1 4 - 15 5-6 Consonants 7-8 Vowels -9 ‘ghoti’ Introduction 10 Schwa 2 16 - 27 17-18 .
