معرفی
Andrei Arusoaie is an Associate Professor in the Department of Computer Science at the Faculty of Computer Science, Alexandru Ioan Cuza University of Iasi, Romania. His office is located at General Berthelot, 16, Building C, Room C402, Iasi 700483.
Dr. Arusoaie's research focuses on several key areas in computer science:
- Program Verification: Developing formal methods for verifying program correctness
- Programming Language Semantics: Formal definitions of programming languages and their properties
- Blockchain and Smart Contracts: Security analysis, formal verification, and language design for blockchain applications
- Symbolic Execution: Frameworks and techniques for program analysis
His recent publications show a strong trend toward blockchain security and formal verification of smart contracts, with significant contributions to vulnerability detection in smart contracts and formal semantics for blockchain languages. He has also maintained consistent research in programming language theory and formal methods, with applications to real-world programming languages.
Dr. Arusoaie actively advises students at both bachelor's and master's levels, offering diploma projects in blockchain technology, programming language semantics, static analysis tools, and verification of algorithms. His teaching responsibilities include Principles of Programming Languages, Logic in Computer Science, Formal Methods in Software Engineering, and Functional Programming (labs).
He supervises research in several key areas including blockchain security, formal semantics of programming languages, and symbolic execution frameworks, contributing to both theoretical foundations and practical applications in these domains.
