![Ulf Nilsson](https://2024.aiwareconf.org/getProfileImage/ulfnilsson/372433f0-4f22-4f8b-a344-3858d1509ef8/small.jpg?1713427573000)
Registered user since Thu 18 Apr 2024
Name:Ulf Nilsson
Country:Sweden
Affiliation:Linköping University
Personal website: https://liu.se/en/employee/ulfni53
Research interests:Computational Logic, Constraints, Abstract Interpretation, Formal verification
Contributions
Using general profile