Security Forem

Neel Somani profile picture

Neel Somani

I'm an entrepreneur based in SF. I previously published in formal methods at UC Berkeley, and my work involves distributed computing and optimization. I prev. founded Eclipse Labs & worked at Citadel.

Location San Francisco, CA Joined Joined on  Personal website https://neelsomani.com/ github website twitter website

Education

UC Berkeley

Work

Founder at Eclipse Labs

Writing Debut
Seven Year Club
Six Year Club
Five Year Club
Four Year Club
Three Year Club
Two Year Club
One Year Club
Verifying CUDA Kernels in Coq with Rust MIR (Introducing cuq)

Verifying CUDA Kernels in Coq with Rust MIR (Introducing cuq)

3
Comments
1 min read

Want to connect with Neel Somani?

Create an account to connect with Neel Somani. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in
loading...