Speaker: Berke Durak

Event Track Day Room Start time Duration
Formal Dependency Management Debian Sunday AW1.125 09:00 01:00

Berke Durak

Berke Durak is working at INRIA Rocquencourt in the European EDOS project.

He is in the WP2 team which focuses on the formal management of package dependency problems. The team has developed tools and algorithms around the verification of the installability properties of the Debian and RPM package repositories.

Berke is also the author of the "ara" Debian package search engine.

He holds a Ph.D. in theoretical computer science obtained at the LIAFA laboratory, Universite Paris VII.