Research interests
Recent research interests
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