Turini Franco

Franco Turini was born in 1949 in Italy. He graduated in Computer Science (Laurea in Scienze dell' Informazione) summa cum laude in 1973, from the University of Pisa. He is currently a full professor in the Department of Computer Science of the University of Pisa. In 78/80 he has been a visiting scientist of the Carnegie-Mellon University (Pittsburgh) and of the IBM Research Center S.Jose, afterwards. In 92/93 he has been visiting professor at the University of Utah. His research interests include programming languages design, implementation, and formal semantics especially in the field of functional and logic programming. In 1990-1993 he has been responsible for an Italian national programme sponsored by the National Research Council for "New generation Languages". He has been coordinator of the "Meta- and non-monotonic reasoning area" of the BRA Esprit Action No 6810 "Compulog II". Recently, he co-edited with Krzysztof Apt a book entitled Meta-logics and Logic Programming, published by The MIT Press. He has been in many program committees, the program chairman of the workshop "Meta-programming in Logic 1994", and the editor of the proceedings issued by Springer-Verlag as LNCS 883 (1994).