Mathematician, computer scientist and humanist looking for truth. Main interests: Logic, Artificial Intelligence, Algebra, Data Science, and any combination of those.
https://twitter.com/weakmath
https://www.wikidata.org/wiki/Q103341896
https://www.kde.cs.uni-kassel.de/hanika
https://www.ibi.hu-berlin.de/de/institut/personen/hanika