Since November 2016 I am a Ph.D. student in computer science within the EMSEC team at IRISA Lab in Rennes.
I am working on formal foundations of a graphical model for security called attack–defense trees, under the supervision of Barbara Kordy.

In May 2017 I obtained a Ph.D. in mathematics, with distinction, from AGH UST in Kraków, Poland, where I worked with A. Paweł Wojda.

Office F413 -- Campus universitaire de Beaulieu
263 Avenue du Général Leclerc
35042 Rennes Cedex - France
e-mail: wojciech [dot] widel [at] irisa [dot] fr