founders.io ⌕
Companies Founders Rankings Reports Investors Startup mafias Connection finder Y Combinator Unicorns 🦄 About Contribute
C
Company · Enterprise Software

Cajal

Cajal was founded in 2026 in San Francisco, USA by Luke Johnston and Pedro Nobre. It is an Enterprise Software company.

Scaling formal verification to accelerate scientific discovery

Private Y Combinator · Winter 2026 Founded 2026 San Francisco USA Enterprise Software
Website ↗ Suggest an edit

Cajal founders & co-founders

2
L
Luke Johnston
Founder
 P
Pedro Nobre
Founder

More in Enterprise Software

All Enterprise Software →
I
Instabase
Enterprise Software · USA
Private 🦄 UnicornFounded 2015
C
Cohesity
Enterprise Software · USA
Private 🦄 UnicornFounded 2013
C
Compass RE
Enterprise Software · United States
Private 🦄 UnicornFounded 2012
B
bKash
Enterprise Software · Bangladesh
Private 🦄 UnicornFounded 2010
N
Nutanix
Enterprise Software · USA
Public 🦄 UnicornFounded 2009
S
Slack
Enterprise Software · USA
Acquired 🦄 UnicornFounded 2009
B
Box
Enterprise Software · USA
Public 🦄 UnicornFounded 2005
S
Sherpa
Enterprise Software · USA
Private YC S26Founded 2026