Damian Niwiński

• Logic, algebra, and computer science
• Understanding computers' intelligence