DIKU Bits: The System says No! How do digital processes observe my rights as a citizen?


Hugo Andrés Lòpez, ​Assistant professor ​in the Software, Data, People & Society Section at the Department of Computer Science. 


One thing that COVID-19 has brought us is the realization of our dependency on digital processes. During a lockdown, states and companies transformed citizen services to digital. Digital processes pose questions regarding compliance: Can a citizen portal document that it respects the laws ruling it? Mixing methods of software engineering, formal methods, process and data science can help. "Compliance-by-Design" aims at providing formal models from laws used to 1. Analyse laws, 2. Produce compliant implementations, and 3. Verify existing systems. I will talk about the challenges of formalizing law, verification techniques, and how natural language processing can help to speed up and provide consistent interpretations. 

Zooming in on Hugo Andrés Lòpez

Which courses do you teach? (BSc and MSc)
At the moment I teach Systems Development in the BSc. Sundhed og informatik and next semester I will be teaching in the Reactive and Event Based Systems (REB) in the BSc in Computer Science.

Which technology/research/projects/startup are you excited to see the evolution of?
I am excited to see how different views of artificial intelligence are joining forces. While most of the discourse has focused in the advantages of machine learning, new requirements regarding explainability of decisions have emerged in the last few years, which have brought logic and rule-based systems back into the discourse. I see thriving opportunities combining these fields. 

What is your favorite sketch from the DIKUrevy?
I must confess that I did not know of their existence before that, but I would gladly welcome recommendations of some of the sketches!