FLOPS 2022 (series) / Harald Sondergaard
![Harald Sondergaard](https://conf.researchr.org/getProfileImage/haraldsondergaard/d7c14196-ff05-40e4-b98f-855a9a0e759a/small.jpg?1711544042000)
Registered user since Wed 29 Dec 2021
Name:Harald Sondergaard
Country:Australia
Affiliation:The University of Melbourne
Personal website: https://people.eng.unimelb.edu.au/harald/
Research interests:Software security and reliability, Program analysis, Program transformation and compilation, Logic and functional programming, Logic in computer science, Computer science education
Contributions
FLOPS 2022-profile
View general profile
View general profile