Dr. Nikolaj Bjørner

(former member of Kestrel's research staff)
More information can be found at my Stanford home page.

Papers

Slides