diff --git a/About Us/Team b/About Us/Team index d757748..f35220f 100644 --- a/About Us/Team +++ b/About Us/Team @@ -14,7 +14,13 @@ Hannes did his PhD in computer science about formal verification of imperative c ### Reynir -here some text is missing +Reynir goes foraging, sniffing and picking interesting plants found in nature, cycling with one, two or more wheels, and knits now and then. +Based in Ã…rhus, Denmark he goes winterbathing in the cold sea. + +Reynir studied computer science at Aarhus University with an interest in programming languages and formal verification. +After some years working in industry with heterogenous unix systems followed by two years of various volunteer work he joined Robur in 2020. +He is still heavily involved as a developer and system administrator in [data.coop](https://data.coop), an association that collectively owns and run servers offering digital services for their members. + ## Former members