Francisco Azevedo

Francisco Azevedo is (since October 2001) an Assistant Professor of Computer Science in the Department of Computer Science (DI) of the Faculty of Science and Technology (FCT) of the New University of Lisbon (UNL). Diplomed Computer Science Engineer by FCT/UNL since 1992. Ph.D. on Artificial Intelligence, on Constraint Programming, since July 23, 2002, with dissertation "Constraint Solving over Multi-valued Logics - Application to Digital Circuits" with Prof. Pedro Barahona as supervisor. Aerospatial Technologies Course, INETI, 1994/1995. Post-graduation on Business Administration ("Gestão Empresarial"), INDEG/ISCTE, 2002/2003. APPIA (Portuguese Association for Artificial Intelligence) member. His research has been based mostly on Constraint Programming (CP). Topics include: constraint solving, set constraints (with development of Cardinal), modelling, symmetry breaking, general/local search, heuristics, optimisation, planning, ECAD (combinational digital circuits) problems, diagnosis, multi-valued logics, medical applications and protocols, timetabling.