# Projects

Bachelor Thesis

### Efficient unpacking of required software from CVMFS

CERN Openlab Summer Student Internship

### Developing a Deca subset compiler

Projet Genie Logiciel, ENSIMAG

# Publications

### Geometric Path Enumeration for Equivalence Verification of Neural Networks

We present and evaluate an approach for proving equivalence properties on neural networks and show that the verification of $\epsilon$-equivalence is coNP-complete

### Quantifying Software Reliability via Model-Counting

We present and evaluate a pipeline allowing for the quantification of C-programs according to their specification adherence.

### An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors

We define four concrete approximation steps for the multiplication, division and remainder operators and combine them into an incremental abstraction scheme.

### Efficient unpacking of required software from CERNVM-FS

Report on my project as part of the CERN Openlab Summer Student Programme