Bruno Woltzenlogel Paleo

Bruno Woltzenlogel Paleo is a logician who studied electronic engineering at the Brazilian Air Force’s Aeronautical Institute of Technology and obtained an MSc in computational logic from Dresden University of Technology, in Germany, and a PhD in theoretical computer science from the Vienna University of Technology, in Austria.

He has had numerous scientific articles published in the field of logic, with an emphasis on proof theory and automated reasoning. Bruno has also led the development of open-source projects, mostly in Scala, in the fields of automated theorem proving, computational linguistics, sustainability, and electronic voting. Bruno has acted as director of engineering for IOHK since 2019. He has contributed to papers on chimeric ledgers, UTXO with scripts, and multi-currencies, as well as to the formal specifications in Haskell and Scala for these papers.