معرفی
Giorgio Levi is a Full Professor in the Department of Computer Science at the University of Pisa, Italy. He works on theoretical aspects of programming languages and formal methods.
- Research includes interpreter design and abstract interpretation
- Teaches courses on Abstract Interpretation in Declarative Languages
- Contributed to projects like FIRB - Model B - Pisa
Research Interests: His work focuses on abstract interpretation, programming language semantics, and code analysis. He has developed interpreters for functional languages, denotational semantics, operational semantics, and type inference systems.
Teaching: He teaches a course on abstract interpretation in declarative languages, with materials including denotational interpreters, operational semantics, and run-time structures.
Projects: Involved in the FIRB - Model B - Pisa research initiative, which relates to interpreter refinements and semantic evaluation functions.
حوزههای پژوهشی
