Skip to content

Latest commit

 

History

History
108 lines (103 loc) · 5.85 KB

index.org

File metadata and controls

108 lines (103 loc) · 5.85 KB

Christian Graulund | PhD fellow, educator, programmer

1 Bio

I am a PhD student at ITU as part of the Programming, Logic and Semantics Group. My supervisor is Rasmus Møgelberg. I work on creating type systems and semantics for reactive programming. My research interest includes reactive programming, formal logic, category theory, formalized mathematics, constructive mathematics and foundations of mathematics.

2 Academic

2.1 Papers

  • C. Graulund, D. Szamozvancev and N. Krishnaswami: Adjoint Reactive GUI. Submitted to FoSSaCS 2021. arXiv
  • P. Bahr, C. Graulund and R.E. Møgelberg: Diamonds are not forever: Liveness in Reactive Programming with Guarded Recursion. Conditionally accepted for POPL 2021. arXiv
  • P. Bahr, C. Graulund and R.E. Møgelberg: Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming. ICFP 2019. arXiv

2.2 Dissertations

  • C. Graulund: Lambda Calculus for Reactive Programming. Master Thesis, IT University of Copenhagen, 2018.
  • C. Graulund: On Automata-Theoretic Characterizations of Regular Expressions as Types. Bachelor Thesis, University of Copenhagen, 2015.

2.3 Talks

  • Sketches of a RaTT: Fitch-style Modal Calculi for Reactive Programming, Invited Talk at the Logic and Semantics group. Aarhus University, 2020, PDF
  • Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming, HOPE 2020, PDF
  • Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming without Leaks, ICFP 2019, video, PDF
  • Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming without Leaks, TYPES 2019, PDF

2.4 Academic Service

  • Sub-reviewer, Conference on Systems, Programming, Languages and Applications: Software for Humanity 2020
  • Sub-reviewer, The International Conference on Functional Programming 2020.
  • Board and steering committee member, PhD Council, IT University of Copenhagen, 2016-2019.

2.5 Conferences and workshops

  • International Conference on Functional Programming 2020, Online.
  • International Conference on Functional Programming 2019, Berlin.
  • International Conference on Types for Proofs and Programs, 2019, Oslo
  • School and Workshop On Univalent Mathematics 2019, University of Birmingham
  • Federated Logic Conference, 2018, Oxford.
  • EUTypes Meeting 2018, Aarhus University.
  • International Conference on Types for Proofs and Programs, 2018, Braga.
  • School and Workshop On Univalent Mathematics 2017, University of Birmingham.
  • Midland Graduate School, 2017, Leciester.
  • Co-induction in Type Theory 2017, Campus of Le Bourget-du-Lac.
  • International Conference on Types for Proofs and Programs, 2017, Budapest

2.6 Extended Visits

  • Visiting PhD Student at Cambridge Universty. Hosted by Neel Krishnaswami. Winter 2018.

2.7 Teaching Experience

  • Supervision of independent study project.
    • Formal Logic and Proofs in Computer Science, BSc, Spring 2019.
  • Foundations of Computing - Discrete Mathematics BSc, 2018.
    • Guest lecture, TA, responsible for organising TAs.
  • Foundations of Computing - Discrete Mathematics BSc, 2017.
    • Guest lecture, TA, responsible for organising TAs.
  • Foundations of Computing - Discrete Mathematics MSc, 2016.
    • TA, responsible for organising TAs.

3 Professional

3.1 Work Experience

  • Co-founder, CEO, teacher, Prospektivet IVS, 2015 - onging.
    • Startup providing consultation on education of talented students in high- and middle school.
  • Board member, teacher, TalentCampDK, 2013 - ongoing.
    • Non-profit organising workshops and summercamps for talented student ages 13 to 16.
  • Student assistant to CFO, Berlingske Media, 2014 - 2015.
    • Performing data analysis on social media and customer engagement.
  • IT support and administration, Magasin Du Nord, 2012 - 2014.
    • Evening, weekend and holiday shifts. Responsible for IT across 7 department stores.

4 Contact