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,...
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License