This profile was last updated on .
Is this you? Claim your profile.
+ Get 10 Free Contacts a Month
Please agree to the terms and conditions
1501 Page Mill Road
Palo Alto, California 94304
KindSoftware is a research group, community, and company dedicated to advocating the use of applied formal methods for software development through education, community building, and by example. Our goal is to help everyone who creates or uses software ... more
Nikolaj Aaes (BSc)
KindSoftware: Positions in Applied Formal Methods
Team Electric OY
Jacob Aaes - DSV
Til: Lene Thallaug