Ugo Solitro
Associate Professor
Department of computer science
University of Vermont
Italy
Biography
Dr. Ugo Solitro is currently working as a Associate Professor in the Department of Department of computer science, University of Verona , Italy. His research interests includes Theory of computation - Semantics and reasoning,Formal languages and automata theory. He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Ugo Solitro is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to Theory of computation - Semantics and reasoning,Formal languages and automata theory.
Research Interest
Theory of computation - Semantics and reasoning,Formal languages and automata theory
Publications
-
Solitro U, Zorzi M, Pasini M, Brondino M. A “light†application of blended extreme apprenticeship in teaching programming to students of mathematics. InMethodologies and Intelligent Systems for Technology Enhanced Learning 2016 (pp. 73-80). Springer, Cham.
-
Solitro U. A typed calculus based on a fragment of linear logic. Theoretical Computer Science. 1989 Nov 12;68(3):333-42.
-
Miraglia F, Solitro U. Sheaves over right sided idempotent quantales. Logic Journal of IGPL. 1998 Jul 1;6(4):545-600.
