About Conal Elliott

I am into correct and efficient SW & HW engineering with simple, precise, and rich specifications and machine-checked correctness. Working mainly in #Agda.

Lists

Timeline

{username} has no activity yet