AutumnOLYMPIAD
COLLECTION
RESEARCHED WITH AUTUMN
BR

Bjarke Roald Skjernaa

Danish computer scientist; IOI 1995 bronze medalist for Denmark; PhD in exact algorithms (Aarhus University)
academic
skjernaa.dk
Represented Denmark At The IOI In 1995 (bronze) And 1996PhD In Computer Science At Aarhus University (BRICS), 2004Exact Satisfiability / Exponential-time Exact Algorithms Researcher
Details
UniversityAarhus University
AlgorithmsExact exponential-time algorithmsSatisfiability
Notes
  • Represented Denmark at IOI 1995 (bronze medal, 93 pts) and again at IOI 1996; the IOI stats and CPHOF records tie the IOI contestant identity to the Danish computer scientist Bjarke Skjernaa.
  • Authored PhD dissertation 'Exact Algorithms for Variants of Satisfiability and Colouring Problems' (November 2004, BRICS, Aarhus University), placing him in the Danish exact-algorithms research community.
  • Personal site skjernaa.dk lists contact [contact omitted], confirming the public email.
  • Co-authored 'New Algorithms for Exact Satisfiability' (2005) with Bolette Ammitzboll Madsen and Jesper Makholm Byskov at Aarhus University's Department of Computer Science.
  • Won the Danish Georg Mohr mathematics competition (18 points), listed under Langkaer Gymnasium 3g - an early math-olympiad track consistent with his later IOI appearances.
  • Based in Risskov, Aarhus (Central Denmark Region); a 2008 Aarhus Motion running event lists a Bjarke Skjernaa, consistent with him staying in the Aarhus area where he did his PhD.

Competition record

Denmark · IOI

1995 · Bronze · Rank 93