Skip to content
Self-declared on the government form, unverified DPIIT recognised Street-level

Compilerai Labs Private Limited

Bench No. 3 & 4, Lab No 3, Tbiu Complex, 2nd Floor, Synergy Buildin, G, Iitd, South Delhi, Hauz Khas, Delhi 110016

Registered office as filed with the MCA.

Sectors as filed: Cyber Security

The website is as filed on the register. We have not checked that it resolves. Something wrong with this startup?

Is this your startup? Claim it and correct what we hold.

Six things we look for on every startup: DPIIT recognition, a CIN, a website, a description, a logo and a funding signal. This startup has all six.

Location

Where this is

Street-level

Hauz Khas

Delhi

Street-level coordinate, derived from a registered address in Hauz Khas. We print the registered office as filed with the MCA, trimmed of contact details; it never appears in a report or an export, and a request from the company removes it within two working days.

The registered office, as filed

This is the registered office on the company's own MCA filing, which is the address printed above. A registered office is frequently a founder's home, and it is not necessarily where the company works.

Map data © OpenStreetMap contributors · © Protomaps

Geocode confidence: high

See all Delhi startups on the map How we placed this startup

In context

What this startup amounts to

COMPILERAI LABS PRIVATE LIMITED is a Startup India startup placed at street level in Hauz Khas, one of 42,792 startups we hold in Delhi. 745 of those startups are filed under Security Solutions, 2% of the district. The one funding signal on it is: Self-declared on the government form, unverified.

Every figure above is counted from the 2026-08 snapshot and is the same number the page it links to prints.

In their own words

CompilerAI Labs is a research-driven startup in the areas of software verification for safety and security critical software. The is founded by faculty members and PhD graduates at IIT Delhi. Their unique technology, based on over ten years of research at IIT Delhi, employs automatic formal verification techniques to validate software. They specialize in the validation of the binary code generated by an optimizing compiler, a requirement for many safety critical applications in defence, aerospace, transportation, and energy sectors.

Written by the company on its public Startup India profile. Not verified by us.

The listing

What the startup says

DPIIT recognition number
DIPP125505
CIN
U72900DL2021PTC381872
Incorporated (MCA)
2021
Registered on Startup India
2023
Self-declared stage
Validation
Security Solutions in Delhi
745 startups
District
Delhi
State
Delhi
Registered pincode
110016
MCA status
Active
Company class
Private
Registrar
RoC-Delhi I
Authorised capital
₹5,00,000
Paid-up capital
₹1,25,000

Evidence

Funding signals

We hold evidence classes, not events. There is no amount and no date here because we do not have them, and a class says only where the company was named. 4,140 of the 42,792 startups in Delhi carry a signal of some class.

How a signal gets onto a startup

Building a list? 42,792 Delhi startups are in Explore, with website and CIN columns, the first 25 free.

Nearby

More startups near here

Other startups the register places in Delhi, ranked by the evidence held on each, the same six things the dots near the top count.

Around it

The neighbourhood

We hold Hauz Khas as a line of text on this startup, not as an index, so we cannot tell you which other companies share it. The district is the finest ring we count.

All 42,792 registered startups in Delhi are analysed in a 51-page report. About the report

Is this your company?

Everything here comes from public government records. If something is wrong, the authoritative place to correct it is the Startup India portal itself, and we will pick the correction up on the next monthly snapshot. To flag an error on our side, use the report link or write to trust@indianstartupmap.com.

How we built this page Where the data comes from How you may reuse it

Next

Keep looking

One startup is one row. Delhi has 42,792.

See Delhi