Overview: Honors Alfredo Ferro’s career as a scientist, teacher, and mentor.Includes research results in decision procedures, verification, bioinformatics, data mining, and graph analysis.Contributions by leadiAlfredo Ferro’s impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems. After first studying Mathematics at the University of Catania, he received a Ph.D. in Computer Science from NYU in 1981, working under the supervision of Jacob Theodor (Jack) Schwartz. He returned to the University of Catania
|