About
Andrea Formisano is an Associate Professor in Computer Science at the Department of Mathematics, Informatics and Physics (DMIF) at the University of Udine, Italy. His research spans diverse areas within computational logic, including logic programming, answer set programming (ASP), constraint logic programming (CLP), action languages, automated deduction, theory reasoning, set theory, relational reasoning, GPU computing, and non-classical logics.
- Contact: Via delle Scienze 206, 33100 Udine, Italy | Tel: +39 0432 558496 | Fax: +39 0432 558400
- Teaching: Offers courses on Operating Systems and Programming on Parallel Architectures through the university's elearning platform.
- Research Keywords: Computational Logic, Logic programming, ASP, CLP, Action languages, Automated deduction, Theory reasoning, Set theory, Relational reasoning, GPU computing, Games, Non-classical Logics.
- Professional Affiliations: Active in academic events such as the International Conference on Logic Programming (ICLP), Italian Conference on Computational Logic (CILC), and the Association for Logic Programming (ALP). He is also affiliated with the Italian Association for Logic Programming (GULP).
0Publications listed
