Sky Sarah heeft haar stage afgerond!

Lees over het coderen van hashes in de SMT-solver Z3.

woensdag 3 augustus 2022

Afstudeer stagiair Sky Sarah van Grieken

Hallo, ik ben Sky Sarah van Grieken, masterstudent Computer Science and Engineering aan de Technische Universiteit Eindhoven. Tijdens mijn studie ben ik erg geïnteresseerd geraakt in het oplossen van problemen met SMT-solvers, maar ik kende geen bedrijven of banen die deze technologie gebruiken. Via een professor ben ik bij Axini terecht gekomen en heb ik een geweldige tijd gehad tijdens mijn stage. Gedurende mijn tijd bij Axini heb ik gewerkt aan het onderzoeken en implementeren van een manier om hashes te coderen in de SMT-solver Z3. Download het PDF rapport voor meer informatie over mijn onderzoek en de resultaten.