# Cajal

[Cajal on Hacklab](https://hacklab.so/org/cajal)

Startup · 2 people on Hacklab

## Links

- [Website](https://caj.al/)
- [Y Combinator](https://www.ycombinator.com/companies/cajal-technologies)

## About

Scaling formal verification to accelerate scientific discovery

## Current staff

- [Luke Johnston](https://hacklab.so/luke-johnston) — CTO (Present)
- [Pedro Nobre](https://hacklab.so/pedro-nobre) — CEO (Present)