List All Pages
VTSA 2009 (Summer School of Verification Technologies, Systems and Applications)
in Nancy, France, 2009.
Prague Fall School 2009 (Prague Fall School of Logic and Complexity, with emphasis on...
Email: bruno -at- logic -dot- at
Skype: bruno.wp
Personal Blog: http://bruno-wp.blogspot.com/
TU-Wien – Technische Universität Wien [Austria] (2007 - 2009)
Ph.D. in Logic
Thesis: A General Analysis of Cut-Elimination by CERes
Supervisor: Alexander Leitsch
TU-Wien – Technische...
Please change this page according to your policy (configure first using Site Manager) and remove this note.
Who can join?
You can write here who can become a member of this site.
Join!
So you...
Books
Herbrand Sequent Extraction
Buy: from Amazon | from Amazon Germany | from me.
Papers
Resolution Refinements for Cut-Elimination based on Reductive Methods
Authors: Stefan Hetzl,...
Invited for the IBM Top Student Recognition Event in Stuttgart. (2006)
2nd Place in the "First GeneralGamePlaying Competition of Dresden, Germany". (2006)
Scholarship from Alßan for the European...
Publications
Talks
Conferences and Workshops
Prizes, Grants, Scholarships
Software Projects
Education
Teaching
Members:
Moderators
Admins
CERes (01/2007 - …).
Cut-Elimination by Resolution.
at the Theory and Logic Group of the Institut für Computersprachen of the Department of Computer Science of the Technische Universität...
A General Analysis of Cut-Elimination by CERes
In the defense of my PhD Thesis (Vienna, Austria, November 2009)
Resolution Refinements for Cut-Elimination based on Reductive Methods
In the...
Currently…
I am not teaching at this moment.
Previously…
Anglo (High-School) – Piracicaba, SP, Brasil [2000-2001]
Lectures of Astronomy, to prepare high-school students for the brasilian...
Admin
List all pages
Site Manager
Contact
My main research activity now takes place in the Theory and Logic Group of the Institut für Computersprachen of the Department of Computer Science of the Technische Universität Wien (in Vienna,...
