This has been on my radar as it's focus is on creating conditions necessary for mainstream adoption and use of smart contracts. Having a scale-able solution to auditing the impending explosion in use of smart contracts is pivotal to security of blockchain as it grows.
It has seed accelerator support from Y-Combinator who has a history in recognizing potential in many companies with great ideas such as Reddit, Dropbox, and AirBnb.