Curriculum Vitae

If you’re interested, you’re welcome to take a look at my full curriculum, written in LaTeX. It includes details about my education, projects, and professional experiences.

Feel free to download it here: Curriculum in LaTeX.

Education

2019 - 2024

Ph.D. in Computer Science

Lund University, Sweden

2017 - 2019

Master’s in Computer Science

University of Udine, Italy

Grade: 110/110 with honors

2013 - 2016

Bachelor’s in Computer Science

University of Parma, Italy

Grade: 106/110

2008 - 2013

High School

Technical Economic Institute Bodoni, Italy

Grade: 94/100



Software Projects

- Present

CAT: Callgraph Analysis Tool

Main Developer

2019 - Today

ExtendJ Java Compiler

Contributor

2019 - Today

JastAdd Metacompiler

Contributor

2020 - Today

IntraJ Static Analyzer

Main Developer

- Present

RNB-Compiler

Compiler Course Project

- Present

SX2PH: Transpiler from SpaceEx to PHAVer

Main Developer

2017 - 2020

Clang & LLVM (Clang-Tidy)

Contributor



Certifications & Awards

March 2024

First Place

ACM Student Research Competition

Using Static Analysis to Improve the Efficiency of Static Analyzers.

October 2019

Scholarship

LLVM Dev Meeting 2019

April 2019

Scholarship

EuroLLVM 2019

May 2013

National Champion

Awarded as the national champion for C++.



Work Experience

2015 - 2018

Software Developer

F.B. Services

Developed and maintained the company information system using SQL-Server and Visual Basic.

2013 - 2016

Waiter

Castellazzo Tennis Club



Publications

October 2024

Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis

Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, Christoph Reichenbach

Event: SLE 2024

July 2024

IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis

Idriss Riouak, Niklas Fors, Görel Hedin, Christoph Reichenbach

Status: Submitted for publication

August 2022

JFeature: Know Your Corpus

Idriss Riouak, Görel Hedin, Christoph Reichenbach, Niklas Fors

Event: SCAM 2022

October 2021

A Precise Framework for Source-Level Control-Flow Analysis

Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors

Event: SCAM 2021



Natural Languages

Italian

Native Speaker

English

Proficient

Swedish

Basic



Coding Skills

Java

Work with it every day

C++

50% - 2 years without touching it

C

50% - 2 years without touching it

Haskell

40% - Used it extensively during the master

Matlab

50% - Used it extensively during the bachelor