Research activities

Research groups

Currently:  Formal Methods for Trustworthy Hybrid Intelligence at Umeå University - Sweden.


Previously: 


PC Member/Reviewer of