Seminar on context-free path querying by matrix multiplication

Seminar on Liquid Types

Seminar on a language for high level description and fast modeling of integrated circuits

Seminar on Mechanized proof of the correctness of bounding the maximum response time of a CAN message

Seminar on Typed Embedding of a Relational Language

Seminar on Synchronization of Horn Clauses and Unbounded Model Checking

Seminar on Traversal-based Normalization

Seminar on compilftion of verified F* programs to robust web applications

Seminar on implementation of symbolic execution and data flow analysis in static analysis by the example of PVS-Studio

Seminar on efficient exploration of patch spaces for automated program repair