Skip to main content

INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC

EIN: 13-4120196Austin, TXZIP: 78703
U40 - Science & Technology501(c)(3)

Financials

YearRevenueExpensesAssets
2023$30k$0$171k
2022$1k$0$202k

Compensation

2023

Daniel Kroening
unclassified
$0
$0
$0
$0
Aarti Gupta
unclassified
$0
$0
$0
$0
Orna Grumberg
$0
$0
$0
$0
Kenneth McMillan
unclassified
$0
$0
$0
$0

2022

Aarti Gupta
unclassified
$0
$0
$0
$0
Daniel Kroening
unclassified
$0
$0
$0
$0
Orna Grumberg
$0
$0
$0
$0
Kenneth McMillan
unclassified
$0
$0
$0
$0

Similar Organizations

$30k revenue
Similar sector (U)Very similar revenue ($30k vs $30k)Same state (Texas)
$28k revenue
Similar sector (U)Very similar revenue ($28k vs $30k)Same state (Texas)
TAG OF HOUSTON

Houston, TX

$26k revenue
Similar sector (U)Similar revenue ($26k vs $30k)Same state (Texas)
$25k revenue
Similar sector (U)Similar revenue ($25k vs $30k)Same state (Texas)
Similar sector (U)Similar revenue ($23k vs $30k)Same state (Texas)
Similar sector (U)Comparable revenue ($41k vs $30k)Same state (Texas)
Similar sector (U)Comparable revenue ($40k vs $30k)Same state (Texas)
$38k revenue
Similar sector (U)Comparable revenue ($38k vs $30k)Same state (Texas)
$20k revenue
Similar sector (U)Comparable revenue ($20k vs $30k)Same state (Texas)
Data from IRS Form 990 filings (2022-2023).