Positions:


Ongoing Projects:


Courses:


Research visits:


Software:

  • SACO: A Static Analyzer for Concurrent Objects
  • EthIR: A framework for high-level Analysis of Ethereum Bytecode
  • GASTAP: A Gas Analyzer for Smart Contracts

Quick Links

Recent News