Research activities

Research groups

CurrentlyFormal Methods for Trustworthy Hybrid Intelligence at Umeå University - Sweden.


Previously


PC Member/Reviewer of