|
Javier Oliver-Villarroya
Associate Professor of Computer Science (Titular de Universidad) Ph.D. in Computer Science (Doctor en Informática) Member of the MiST / ELP / GPLIS research groups at DSIC, Universitat Politécnica de Valéncia Subdirector de Calidad de la E.T.S.I. Telecomunicación
|
Departamento de Sistemas Informáticos y Computación (DSIC)
Escuela Técnica Superior de Ingenieros de Telecomunicación (ETSIT)
Subdirector de Calidad de la ETSIT
Universitat Politécnica de Valéncia (UPV)
Camino de Vera s/n, E-46022 Valencia, Spain
|
Extensions of Petri nets and Process algebras; declarative programming; functional, logic,
and functional logic programming; semantics; narrowing strategies;
laziness; compositionality; the programming languages
Prolog,
Haskell,
Curry, and
Erlang;
domain-specific (embedded) languages.
Specification and verification of properties in concurrent
systems modeled by means of Petri nets.
Program analysis and transformation and, in particular, fold/unfold; refactoring; partial evaluation and specialization; profiling; cost analysis and estimation; termination analysis; debugging; tracing; slicing.