About me

My name is Szymon Wróbel, I am a PhD student at Department of Fundamentals of Computer Science, Wrocław University of Science and Technology, where I am conducting research mainly in the field of Optimization (Robust) and Computational Complexity.

Education:

• 2023 – M.Sc. in Cybersecurity at Wrocław University of Science and Technology
  • Language-based Control Flow Integrity Protection for RISC-V Architectures
• 2021 – M.Sc. in Computer Science at Wrocław University of Science and Technology
  • Problem pakowania w trzech wymiarach
• 2020 – B.Sc. in Computer Science at Wrocław University of Science and Technology
  • Kompilator prostego języka funkcyjnego w Haskellu

My scientific interests include:

• optimization, computational complexity
• declarative and functional programming
• formally verified software
• (non-classical) logic, computer-aided theorem proving