[PlanetKR] Fahiem Bacchus

[Esra Erdem]

Dear colleagues,

I am very sorry to share with you the sad news that Fahiem Bacchus passed
away last week, on September 22.

Fahiem has touched the lives of many of us, as a colleague, teacher,
mentor, and friend, with his valuable contributions to KR and other areas
of AI, with his intelligent remarks, encouraging suggestions, and big warm
smile. We will miss him greatly.

Here is an excerpt from the Department of Computer Science, University of
Toronto's webpage in memoriam of Fahiem:

"Fahiem was a renowned computer scientist who, for more than 30 years, made
significant contributions to the theory and practice of Artificial
Intelligence (AI), specifically to the field of Knowledge Representation
and Reasoning (KR). His research was both broad in scope and deep: his work
greatly advanced the mathematical foundations of KR as well as its
practice, and he was well-known for his contributions to the development of
state-of-the-art SAT and MaxSAT solvers, and planning systems. He authored
over 100 peer-reviewed publications, winning multiple best-paper awards,
and his solvers won top placements in several international competitions.
Fahiem was also deeply involved in service to the AI community, most
recently serving as president of the board of trustees for the
International Joint Conference on Artificial Intelligence (IJCAI,) and as
chair of the SAT Association Board.

For his profound impact on the discipline, Fahiem was recognized as a
Fellow of the Association for the Advancement of Artificial Intelligence
(AAAI), and was presented with the Canadian Artificial Intelligence
Association’s highest honour – the Lifetime Achievement Award."

https://web.cs.toronto.edu/news-events/news/in-memoriam-fahiem-bacchus

With our deepest condolences to Fahiem’s family, colleagues, students, and
friends. We will miss him greatly.

Kind regards,
Esra
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20220926/40a00ba0/attachment.htm>