Andrei Arusoaie
Associate Professor
Department of Computer Science
Alexandru Ioan Cuza, University of Iași
Contact
Email:
andrei.arusoaie@uaic.ro
Office:
Gen Berthelot, 16, C402
Old webpage:
HERE
Research Coordinates
WoS ID:
AAN-1644-2021
OrcidID:
0000-0002-2789-6009
Teaching
First Semester:
- Principles of Programming Languages
- Introduction to Blockchain
- Logic in Computer Science
- Formal Methods in Software Engineering
Second Semester:
- Functional Programming (labs only)
Research Interests
- Logics and their applications to program verification
- Programming language semantics
- Blockchain and smart contracts
Curriculum Vitae
Selected Publications
- Andrei Arusoaie, Stefan-Claudiu Susan: Towards Trusted Smart Contracts: A Comprehensive Test Suite For Vulnerability Detection. Empirical Software Engineering, DOI: 10.1007/s10664-024-10509-w , ISSN: 1382-3256 (2024)
- Andrei Arusoaie, Dorel Lucanu: Proof-carrying parameters in certified symbolic execution. Logic Journal of the IGPL, DOI: 10.1093/jigpal/jzad008, ISSN: 1367-0751 (2023)
- Andrei Arusoaie: Certifying Findel derivatives for blockchain. J. Log. Algebraic Methods Program. 121: 100665 (2021)
- Andrei Arusoaie, Dorel Lucanu: Unification in Matching Logic. FM 2019: 502-518
- Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu: A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. SYNASC 2017: 161-168
- Andrei Arusoaie, Dorel Lucanu, Vlad Rusu: Symbolic execution based on language transformation. Comput. Lang. Syst. Struct. 44: 48-71 (2015)
- Andrei Arusoaie, Dorel Lucanu, Vlad Rusu: A Generic Framework for Symbolic Execution. SLE 2013: 281-301
PhD Thesis
- Andrei Arusoaie: A Generic Framework for Symbolic Execution: Theory and Applications, Defended on September 27, 2014