Victor Nicolet

Victor Nicolet

Applied Scientist

victor [dot] nicolet [at] pm [dot] me

Arlington, Virginia

Hi! I'm an applied scientist at Amazon, working on various problems ranging from static analysis, to anomaly detection and code generation. Before that, I was a PhD student in the Software Engineering Group at the University of Toronto, advised by Azadeh Farzan.

Projects

Cedar — an open-source language for defining permissions as policies. Recently joined the team.
Argot — a lightweight collection of static analysis tools for Go, built on top of the standard Go analysis packages. Includes taint analysis, backtracing, reachability, and more.
Synduce — synthesizes recursive functions given a functional specification, using selective bounding techniques and off-the-shelf solvers.
Parsynt — synthesizes divide-and-conquer implementations of loops with equivalence proofs, outputting parallel C++ (Intel TBB) with verification in Dafny.

Publications

Service

TAships

Other