Hoppa till huvudinnehållet
Postdoktor inom AI-baserad formellt verifierad kodgenerering på KTH Kungliga Tekniska högskolan i Stockholm