Sergio Orefice received the Laurea degree in Computer Science from the University of Salerno and the Ph.D. degree in Applied Mathematics and Computer Science from the University of Napoli.
He has been a consultant of the CRIAI research center of Portici (Napoli). In 1992 he was at the Department of Computer Science of the University of Pittsburgh as a visiting researcher. In 1993 he had a CNR fellowship at the Department of Applied Informatics of the University of Salerno.
Since January 1995 he has been at the University of L'Aquila where he is currently an associate professor of the Department of Engineering and Computer Science and Mathematics.
His main research interests include multi-dimensional formal languages and visual language compilers. In this area he works to the definition of grammar models for the formal description of visual and multi-dimensional languages. This research includes the development of LR-like techniques for the efficient parsing of multi-dimensional structures. The results of these studies have been used to construct a YACC-like visual tool, the VLCC system, for the automatic generation of visual language compilers.
He has also worked in the area of logic programming where his research has focused on multi-valued logics with application to typed logic programming, and on the refinement of logic specifications. Currently, he is involved in researches aimed to the formalization of XML-based techniques supporting Scenario-based requirements engineering, and to the development of an environment for Visual Information Extraction from web pages and geospatial data.