Kind 2

See the Kind 2 website or follow the development on Github

Picture of me

Dr. Christoph Sticksel

Principal Software Engineer in
Formal Methods/Program Analysis at
MathWorks
Natick, MA

cstickse@mathworks.com