#algoritmo

C'è anche Alessandro Cimatti (FBK) fra i firmatari del più influente studio di settore nel periodo 2002-2022, che si è aggiudicato il premio Thoralf Skolem 2023, consegnato ieri a Roma alla conferenza CADE-29.