Moreno Falaschi's Home

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Moreno Falaschi's Home


Moreno Falaschi Professor of Computer Science Dipartimento di Matematica e Informatica Facoltà di Scienze MM.FF.NN. Università di Udine Italy.

Research Activities

Logic Programming
Functional Logic Programming
Analysis and Transformation of Declarative Programs
Specification and Verification of Reactive Systems

From October 1, 1998 until September 30, 2001. Department Head of Dipartimento di Matematica e Informatica
Until 31.10.2004: Coordinatore Dottorato in Informatica
From 1.10.2001 until 30.9.2004: Vice-rector for scientific and technological research.
co-Chair (with M. Alpuente, U. Politecnica de Valencia) of WWV 2005, the 1st Int'l Workshop on Automated Specification and Verification of Web Sites, March 14-15, 2005, Valencia, Spain

Moreno Falaschi (falaschi@dimi.uniud.it)