FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / Gunnar Kudrjavets
Gunnar Kudrjavets

Registered user since Tue 27 Apr 2021

Name:Gunnar Kudrjavets
Bio:

Slayer of dead OS code. From C, C++, and kernel debugger to LaTeX, R, and Greek letters. Engineer at heart.

Country:United States
Affiliation:University of Groningen
Personal website: https://gunnarku.github.io/
X (Twitter): https://x.com/gunnarku
GitHub: https://github.com/gunnarku
Research interests:Empirical Software Engineering, Assertions, Memory Management, Mining Software Repositories, Systems Programming

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile