From 13bd11cf5bc939e85add8666467617a2de08e952 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Thu, 10 Nov 2022 16:49:52 +0100 Subject: [PATCH] Add some text for reynir --- About Us/Team | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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