Bruno Woltzenlogel Paleo

Bruno Woltzenlogel Paleo has an engineering degree with specialization in Electronics Engineering obtained at the Technological Institute of Aeronautics (ITA, Brazil, 2004), a M.Sc. degree in Computer Engineering obtained at the Technological Institute of Aeronautics (ITA, Brazil, 2007), another M.Sc. degree in Computational Logic at the Technische Universitat Dresden (TU-Dresden, Germany, 2006) and at the Technische Universitat Wien (TU-Wien, Austria, 2007), and a Ph.D. degree in Logic at the Technische Universitat Wien (TU-Wien, Austria, 2009). He did a post-doc at the Institut National de Recherche en Informatique et en Automatique (INRIA, França), and currently he is a researcher at the Vienna University of Technology (TU-Wien, Austria). (Source: Lattes Curriculum)