Moreno Falaschi
Institution:
Università di Siena (Italy)
Dipartimento di Scienze Matematiche e Informatiche
Position:
Full Professor (since 1994)
Research:
- rule-based programmig: declarative / functional / equational / algebraic / concurrent (constraint) logic programming / abstract interpretation;
- multi-paradigm (functional-logic) programming;
- term rewriting systems, timed concurrent constraint programming;
and applications (security applications, internet applications);
- industrial formal methods;
- semantics of programming languages;
- automated software engineering, i.e. the application of formal;
semantics to produce automated tools for programming languages.
Email:
moreno.falaschi@unisi.it
Website:
http://www.mat.unisi.it/~falaschi/
