Input Output

Bruno Woltzenlogel Paleo

Formal Methods Expert
Team Scorex


Bruno Woltzenlogel Paleo is a logician who studied electronics engineering at the Brazilian Air Force’s Aeronautical Institute of Technology and obtained a M.Sc. degree in Computational Logic from the Dresden University of Technology, in Germany, and a Ph.D. degree in theoretical computer science from the Vienna University of Technology, in Austria.

He has numerous scientific articles in the field of logic, with special emphasis on proof theory and automated reasoning; and he has led the development of a few open-source projects, mostly in Scala.

He sees logic as the foundation of all sciences, and (crypto)currency as a basis for any society.

53D6 371D EC06 B961 BA28 70D6 3194 B211 38F2 53F6