Pietro Abate received his Ph.D. in Computer Science from the Australian National University (ANU) in 2006, where he specialized in theoretical computer science.
During his Ph.D. he developed the Tableau WorkBench, a generic theorem prover that is easy to use and accept input both in tableau and sequent style. The TWB has been used to experiment with a number of modal logics and in particular with fix-point logics. The TWB can be found at http://twb.rsise.anu.edu.au.
During his studies he was system administrator at the research school of information science and engineering at the ANU and freelance website developer.
Pietro has also excellent skill in with unix (in particular debian gnu/linux) and a number of open source software such as apache, postfix and mysql. He is also a competent php programmer and user/contributor of the open source content management system drupal. Pietro has also very good knowledge of other open web standards such as xml, xslt, css, xhtml.
At the moment he is a research engineer at the university Paris 7 working at the project Cduce.