Andrei Arusoaie

Smart Contract Vulnerabilities: Detection and Mitigation Frameworks

Stefan-Claudiu Susan (2022-present)

Explaining AI using Logic

Delia Grigorita (2025-present)

1. Measuring blockchain

Analysis of various metrics relevant for blockchain users (e.g., measuring the costs for L2 DApps).

2. DApps

Design and develop decentralized applications (e.g., for traceabilty, voting, etc.), that is, apps with a blockchain backend (incl. smart contracts).

3. Use AI for smart deployment on blockchain

Employ AI or any other machine learning technique to help developers to efficiently deploy their DApps.

4. Smart contract analysis and verification

Use or develop tools to discover security vulnerabilities in smart contracts.

5. Program analysis and verification

Use or develop tools to discover security or other types of vulnerabilities in programs written in different programming languages.

6. Formal Verification using proof assistants (Rocq, Lean 4, ...)

Formalize and prove properties for programs/systems using an interactive theorem prover.

7. Logic in CS

Develop tools based on formal logic to be used by computer scientists (e.g., solvers, custom logics, etc.).