# Jonas Sys

###### aka jay-tux

PhD Student (Computer Science)
TOPL Lab, Department WINST, Faculty of Sciences, UGent and
DisCo Group, SOFT Lab, Sciences & Bioengineering Sciences Faculty, VUB

jonas.sys@ugent.be jay-tux

Current project: Phoenix, a data-parallel programming language

## News

- ECOOP’26
  June 29 - July 3, 2026
  I’m attending presentations and learning! Find me at ECOOP!
- ICOOOLPS 2026
  June 29, 2026
  I presented my demo at ICOOOLPS 2026 in Brussels. You can find the slides and Phoenix code examples (1 2) at the links.
- PLISS’25
  May 26 - May 31, 2025
  I attended the summer school in Bertinoro! This was followed by a short trip to Firenze/Florence, Muenchen/Munich, and Ravenstein.
- ASPLOS/EuroSys’20
  March 30 - April 3, 2025
  I presented a talk titled Modular Data and Parallelization Abstractions for Programming Heterogeneous Systems at EuroDW’25 in Rotterdam, and stayed for the full conference.

## Publications

##### Coming soon!

## Teaching

- Software Engineering Lab 1 (Teaching Assistant)
  Semesters: Spring 2025, Spring 2026
  Description: A project-oriented course meant to teach students to work in a professional setting, by building a mobile app.

- Foundations of Programming Languages (Teaching Assistant)
  Semesters: Fall 2025
  Description: A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover.

## Education

- PhD Student (Computer Science)
  October 2024 - present
  UGent and VUB
  Supervised by both Christophe Scholliers (UGent) and Elisa Gonzalez Boix (VUB)

- Master of Computer Science graduated magna cum laude
  September 2022 - June 2024
  UGent
  Thesis: Quantifying and Mitigating the Cold-Start Problem in GPU Simulation ( LaTeX source)

  - Erasmus International Exchange
    September 2022 - June 2023
    Aarhus University
    Focused on program verification and algorithms

- Bachelor of Computer Science graduated cum laude
  September 2019 - June 2022
  UGent

## Community Service

- Artifact Reviewer
  January 2026
  Artifact rewiewer for the <Programming> journal

## Projects

##### Coming soon!

But if you’re really curious - check out Grader and SIMD-API…