Event | Track | Day | Room | Start time | Duration |
---|---|---|---|---|---|
Formal Dependency Management | Debian | Sunday | AW1.125 | 09:00 | 01:00 |
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.