Positions:


Ongoing Projects:


Courses:


Research visits:


Software:

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

Quick Links

Recent News