Reynir Björnsson
Abschluss: MSc in Computer Science, Aarhus Universitet
Copenhagen, Dänemark
Werdegang
Berufserfahrung von Reynir Björnsson
6 Monate, Aug. 2012 - Jan. 2013
Teaching Assistant
Aarhus Universitet
Compiler course. Weekly meetings with each 3 man group, and correcting and grading their hand-ins.
3 Monate, Apr. 2011 - Juni 2011
Teaching Assistant
Aarhus Universitet
Programming languages. Class teaching and correcting hand-ins (mostly code)
Junior Programmer
- keine Angaben -
Ausbildung von Reynir Björnsson
1 Jahr, Feb. 2013 - Jan. 2014
Datalogi
Aarhus Universitet
Unfinished
3 Jahre und 6 Monate, Aug. 2009 - Jan. 2013
Datalogi
Aarhus Universitet
Programming languages, type theory, proof assistants (Coq, Agda), ... Mathematics
Sprachen
Englisch
Fließend
Dänisch
Muttersprache
Deutsch
Gut
Französisch
Grundlagen
Icelandic
-