Helmut Veith (1971-2016)

My friend and colleague Helmut Veith died yesterday.  His death is a great and shocking loss to his family and friends, and the logic community, especially in Austria. I've known Helmut since we were undergraduates in computer science at Vienna Technical University in the early 1990s.  We shared a passion for theoretical topics in computer … Continue reading Helmut Veith (1971-2016)