Kind 2

See the Kind 2 website or follow the development on Github

Picture of me

Dr. Christoph Sticksel

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

Christoph.Sticksel@mathworks.com