My name is Idriss Riouak and I am a PhD Student working under the advisment of Prof. Görel Hedin, Prof. Christoph Reichenbach and Dr. Niklas Fors at Lund University. My research work is generously funded by the Wallenberg Autonomous Systems and Software Program (WASP), funded by Knut and Alice Wallenberg Foundation.
My research focuses on static analysis, with emphasis on control-flow and dataflow analysis. I have a browad interest in compiler constructions and formal methods.
20-23 September, 2022
Going to first instance of Security Testing and Verification in Lueven!
2 August, 2022
Accepted paper at SCAM on extracting Java Features!
7 September, 2021
Accepted paper at SCAM on control-flow and dataflow analysis was published by IEEE. It’s open access, check it out!