Olli Saarikivi
Senior Researcher
关于
I develop domain specific compilers for AI and homomorphic encryption. My background is in program analysis, with symbolic methods for test generation, program verification and optimization of stream transformations.