Giorgio Ghelli

Giorgio Ghelli is a Full Professor at the Department of Computer Science, University of Pisa. His research focuses on database systems, XML/JSON schema validation, type systems, and formal methods. He has contributed to foundational work on programming languages and query systems, including the development of the Fibonacci database programming language and the TQL query language for semistructured data. His recent work emphasizes JSON schema formalization, validation techniques, and interactive schema inference for large datasets.

Teaching includes advanced database courses and foundational database theory. Research interests span data management, formal semantics, and efficient query processing. Over 150 publications including seminal works on XML updates, JSON schema validation, and type systems for mobile ambients.