Research interests

Current research interests

• Programming languages
• Constraint Logic Programming languages
• Declarative Programming languages
• Set-based languages and programming with sets (the "Programming with Sets" home page)
• (Extended) Unification algorithms

Past (main) research interests

• Concurrent and distributed programming languages
• Ada language
• Cnet ("Campus Net") project
• Operating Systems
• Design of O.S. kernels
• Unix
• Software development environments (in cooperation with Intecs, Selenia, Italsiel)
• Software Engineering techniques and tools
• Language issues in Logic Programmming languages
• Knowledge representation in Prolog
• Prolog Programming Environments
• Extensions to Logic Programming Languages:
• Structured Programmming facilities (blocks and modules)
• Meta-Programing facilities
• Unification algorithms
• Unification over Infinite Trees
• General E-Unification