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 joined Portland State University’s Maseeh College of Engineering and Computer Science, where he also served as the Associate Chair for Graduate Education. He earned his Ph.D. in Computer Science from the University of Maryland in 1987 and dedicated his career to advancing the science of programming, with particular emphasis on declarative programming languages.
His primary research focused on functional logic programming, with a particular emphasis on the theory and practice of narrowing. He was internationally recognized for his foundational work on “needed narrowing,” an optimal computational strategy that significantly influenced the design and implementation of modern declarative programming languages, most notably the language Curry. He was a prolific author of highly-cited papers and a key contributor to the development of the Portland Aachen Kiel Curry System (PAKCS).
Sergio’s passion for logic and program design inspired countless students and colleagues. His contributions have left a lasting impact on his field, and he will be remembered for his intellectual rigor, his kindness, and his profound commitment to academia. He will also be remembered by all those who knew him for his passion for life and contagious enthusiasm and positivity. The entire Association for Logic Programming joins his family and friends in remembering Sergio.