Wednesday August 3rd 2022

Graduate intern Sky Sarah van Grieken

Hi, I am Sky Sarah van Grieken, a master student Computer Science and Engineering at the Eindhoven University of Technology. During my studies I became really interested in solving problems using SMT-solvers, but I did not know of any companies or jobs that use this technology. Via a professor I found Axini and had a marvellous time with my internship. During my time at Axini I worked on investigating and implementing a way to encode hashes in the SMT-solver Z3. Download the PDF report to read about my research and the results.