Category: In Memoriam

In Memoriam: Sergio Antoy

Dr. Sergio Antoy, a distinguished and long-serving Professor of Computer Science at Portland State University, has passed away. A respected researcher and dedicated educator, Sergio was a leading figure in the field of programming languages and functional logic programming.  Sergio…

In memoriam: Martin Davis

Martin Davis (March 8, 1928-January 1, 2023) and his beloved wife Virginia passed away yesterday. They had been married for over 71 years. Martin was one of the fathers of Computability, to which he contributed with a model of Post–Turing…

In memoriam: Jack Minker

By Dietmar Seipel and Carolina Ruiz. It is with great sadness that we inform the CS community of Jack Minker’s passing on April 9, 2021. Jack was a pioneer in deductive databases and the leading researcher in disjunctive deductive databases.…

In memoriam: Francisco Bueno

By Manuel Carro, María García de la Banda, Manuel Hermenegildo, Pedro López, José F. Morales It is with the deepest sorrow that we write these lines to share with you the news of the passing away of our very dear…