Pietro Abate homepage

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. Current academic interests are theorem proving, functional programming, modal and propositional logic.

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 and python programmer and user of the web development frameworks such as drupal and django. 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 Macoosi. Detailed CV on request.