LoginNewsroom Signup →
Vol. II — No. 184Remarkable People · Exceptional CompaniesToday's Edition
Browse all tags
ceo49founder17co-founder15startup founder15fintech13saas10series a10new york8new york startup8cybersecurity6edtech6agentic ai6ecommerce6y combinator5enterprise ai5ai agents5founder ceo5forbes 30 under 305ai5semiconductors5fintech founder4co-ceo4entrepreneur4new york fintech4venture capital4serial entrepreneur4austin texas4b2b saas4austin startup4financial technology3boston startup3alternative data3ut austin3generative ai3new york tech3wharton3market intelligence3digital transformation3adtech3enterprise software3servicenow3developer tools3biotech ceo3oncology3ibm3artificial-intelligence3entrepreneurship3biotech founder3wealth management2healthcare finance2higher education2university of texas2streaming2capital markets2morgan stanley2customer experience2boston startups2saas founder2startup ceo2legal tech2insight partners2online learning2startups2series c2health tech2a16z2austin startups2data centers2renewable energy2operational technology2engineering leadership2agile2crypto data2institutional crypto2legaltech2k-12 education2influencer marketing2creator monetization2creator economy2retail2life sciences2data analytics2ai in finance2healthtech2harvard business school2proptech2women founders2new york startups2female founder2food science2machine learning2data science2south korea2ai security2machine-learning2d2c2inspiration2data-center2artificial intelligence2hospitality tech2llm2drug discovery2mathematics2education2creativity2castle1castle.io1fraud detection1account takeover1device fingerprinting1bot detection1swedish founder1developer apis1malmo1lund university1userbin1risk scoring1brooklyn1identity1john clendening1earned wealth1earned1financial services for doctors1blucora1charles schwab1schwab bank1physician wealth1harvard mba1john eielson1flatworld1flat world knowledge1college textbooks1digital-first publishing1affordable textbooks1yale mba1coast guard academy1textbook affordability1strategy consultant1john joyoprayitno1alafair biosciences1medical device ceo1austin entrepreneur1versawrap1hydrogel1biopolymer1medtech founder1soft tissue protection1regenerative medicine1technology commercialization1inc best in business1austin business journal best ceo1john skipper1meadowlark media1espn1dazn1dan le batard1sports media1media executive130 for 301grantland1sports documentaries1podcasts1content studio1disney1rolling stone1jon jacobson1omnisient1data collaboration1privacy-preserving technology1privacy enhancing technologies1financial inclusion1consumer intelligence1identity resolution1secure multi-party computation1data privacy1south africa startup1credit scoring1co-founder ceo1jon stephens1veridise1blockchain security1formal verification1formal methods1zero-knowledge proofs1zk security1smart contract audits1smart contract security1program analysis1static analysis1smartpulse1zequal1orca fuzzer1picus1web3 security1audithub1isil dillig1jonathan birnbaum1jon birnbaum1openyield1fixed income1bond trading1bridgewater1sofi1domain money1electronic trading1retail investing1market structure1mit1columbia mba1jonathan corbin1maven agi1customer success1hubspot1adobe1marketo1sprinklr1series b1maor levran1slice1slice global1global equity1equity compensation1equity compliance1cap table management1rsus stock options1global mobility1tax optimization1corporate lawyer1reichman university1tlv partners1israeli startup1ai compliance1datacamp1data science education1angel investor1r programming1python1financial econometrics1phd1ku leuven1belgium1data literacy1cryptocurrency1first principles1jonathan frohlinger1big happy1big happy media1dooh advertising1digital out-of-home13d dooh1mobile advertising1ad tech1creative advertising1omnichannel1new york adtech1high impact advertising1dynamic creative optimization1cinematic creative1jonathan kay1apptopia1app intelligence1mobile app analytics1app economy data1mark cuban investment1ashton kutcher investment1kpi forecasting1hedge fund data1mobile market research1bentley university1jonathan swerdlin1function health1wisdom vc1portal1thinx1mark hyman1investor1jonathan winer1sidewalk infrastructure partners1sip1infrastructure investing1private equity1alphabet1sidewalk labs1virtual power plant1renew home1verrus1clean energy1nereus1d.e. shaw1yale1urban infrastructure1infrastructure 2.01energy transition1climate infrastructure1jordan graft1highway1carrier identity1freight fraud1logistics technology1freight tech1trucking1triumphpay1cratebind1supply chain1freight brokers1carrier verification1dallas startup1transportation1jose bethancourt1method financial1methodfi1embedded finance1financial connectivity1debt repayment api1gradjoy1consumer liabilities1open finance1jose seara1denexus1cyber risk quantification1ot cybersecurity1ics security1critical infrastructure1cyber insurance1risk transfer1derisk platform1industrial cybersecurity1naturener1ai risk modeling1joseph connor1joe connor1odyssey1withodyssey1education savings accounts1esa1school choice1govtech1k12 education1notre dame law1schoolhouse1microschools1espinoza v montana1tusk venture partners1josh knowles1code climate1software engineering intelligence1sei1velocity1developer productivity1ruby1ruby on rails1pivotal labs1vmware1tanzu labs1goruco1extreme programming1developer experience1dora metrics1austin tech1josh wais1good dog1gooddog.com1dog adoption1pet marketplace1responsible breeders1puppy platform1jet.com1qualcomm ventures1pet tech1animal welfare1e-commerce1joshua abram1conceivable life sciences1tmrw life sciences1integral ad science1neuehouse1dstillery1coriolis ventures1ivf automation1fertility technology1ai in reproductive medicine1aura ivf lab1reproductive health1category creator1joshua frank1the tie1digital assets1crypto analytics1crypto sentiment1sigdev terminal1crypto ceo1blockchain data1mcgill1joshua richards1boundless learning1online program management1pearson1pearson online learning services1product and technology1workforce development1e-learning1penn state1joshua schwadron1josh schwadron1mighty1mighty.com1mighty law1personal injury1lawyer1startup1litigation finance1insurance claims1betterfly1billboard lawyers1access to justice1joss leufrancois1visage1visage.jobs1recruitment technology1hr tech1crowdsourcing1ai recruiting1talent sourcing1staffing1candidate sourcing1passive candidates1recruiting platform1aldelia1dubai startup1juan jaysingh1zingtree1cx automation1contact center1zeemee1universal tennis1utr1tennis1palo alto1decision trees1agent scripting1jules minvielle1olyzon1ctv advertising1connected tv1media buying1ogury1mozoo1s4s ventures1martin sorrell1programmatic1attention metrics1paris1contextual targeting1media automation1julian colombo1n5 now1n51banking technology1ai in banking1santander1argentine entrepreneur1openfinance1openbanking1financial software1software factory1latin america fintech1julie jackson1uncommon schools1charter schools1education leader1teach for america1north star academy1public charter schools1urban education1educational equity1diversity equity inclusion1teacher training1data-driven instruction1college readiness1newark1school leadership1joy and rigor1nonprofit education1justin fineberg1cassidy1cassidy ai1ai automation1gpt-31no-code ai1ai creator1content creator1tiktok ai1hof capital1workflow automation1ai copilots1justin folkers1apiphani1apiphani ceo1sap managed services1it automation1aiops1luumen1boston tech1cloud migration1aws sap competency1deep automation1justin sacks1nexus1nexus.gg1creator programs1gaming1video games1live service games1support-a-creator1chrono.gg1justin smith1samcart1samcart ceo1checkout software1digital business1curalate1liveperson1online selling1justin talerico1automox1endpoint management1autonomous endpoint management1patch management1ion interactive1beacon91a cloud guru1linux academy1marketing technology1cmo1tech founder1cloud native1justin yoshimura1csc generation1ai retail1roll-up1500friends1sur la table1z gallerie1one kings lane1directbuy1loyalty marketing1holding company1commerce agi1kaiser wong1pocket river1mobile games1game publisher1social games1ios games1android games1mmorpg1minibattle1gaming executive1hong kong games1casual games1game publishing1kareem amin1clay1clay.com1gtm1go-to-market1ai sales1outbound1sales automation1data enrichment1no-code1sequoia1product-market fit1revenue operations1karen chu1hiro1harvest integrated research organization1cro1clinical research organization1clinical trials1biotech1drug development1asia pacific1cross-border trials1oncology trials1pharmd1parexel1global cro1boutique cro1regulatory strategy1clinical operations1pharmaceutical1karl kipke1healthgrowth1healthgrowth capital1healthgrowth pharmacy solutions1independent pharmacy1pharmacy financing1community pharmacy1specialty lending1investment banking1bear stearns1340b1pharmacy consulting1karthik bettadapura1dataweave1competitive intelligence1ecommerce analytics1digital shelf1pricing intelligence1ai saas1retail analytics1bengaluru startup1iiit bangalore1web181forbes technology council1karthik nandyal1credcore1vertical ai1private credit1debt capital markets1credit markets1avataar ventures1reliance jio1bnp paribas1instinet1styloot1credit management1enterprise debt1karun tadepalli1bytexl1engineering education1india edtech1upskilling1ai education1coding platform1hyderabad1dallas1microsoft partnership1employability1first-generation entrepreneur1kate condliffe1diana health1womens health1healthcare1maternity care1midwifery1value-based care1middlebury college1clinton health access initiative1baby+co1alleycorp1ob-gyn1healthcare operator1katharine lau1stuf1stuf storage1self-storage1commercial real estate1urban storage1harlem capital1industrious1katherine allen1flo recruit1flo1legal recruiting1law firm hiring1applicant tracking system1vertical saas1law school recruiting1talent platform1katherine bowdish1kathy bowdish1pic therapeutics1rna translation1eif4e1precision oncology1breast cancer1antibody discovery1sanofi sunrise1molecular genetics1biopharmaceutical1cancer therapeutics1woman ceo biotech1kathy wallace1kathleen wallace1lifecare hospitals1lifecare hospital of plano1north texas healthcare1hospital ceo1registered nurse1critical care1long term acute care1healthcare leadership1nursing administration1baylor university1women in healthcare1plano texas1healthcare executive1katie fang1schoolinks1edtech founder1college and career readiness1saas ceo1immigrant founder1capital factory1student success1self-taught coder1education technology1series b startup1kelly thompson1incredo1douxmatok1sugar reduction1foodtech1food engineering1clean label1chief commercial officer1food and beverage1incredo sugar1r&d1food ingredients1kelvin chan1nirvana1nirvana health1meetnirvana1insurance verification1insurance eligibility1chief product officer1president1columbia university1neuroscience1enigma1benefits verification1coverage api1magnesium1magrathea1cleantech1electrolysis1critical minerals1climate1hard tech1chemical engineering1lithium1defense industrial base1seawater metals1domestic manufacturing1alex kerr1trajektory1sponsorship analytics1sports business1sports sponsorship1business intelligence1chicago startup1ceo founder1media valuation1sponsorship roi1sports tech1ai brand detection1monumental sports1sports measurement1ken kim13i inc13i.ai1beamo1pivo1digital twin1spatial ai1computer vision13d scanning1seoul1metaverse1augmented reality1smartphone robotics1draper university1youvr1kevin creusy1upfluence1martech1lyon1influencer marketing software1brand ambassadors1ken sena1aiera1equity research1wall street analyst1evercore1wells fargo securities1internet research1earnings calls1speech-to-text1explainable ai1ujet1cx1contact-center1ccaas1spanx1herschend1turo1crm-first1spiral1customer-experience1ivr1car-sharing1theme-parks1shapewear1ibm bob1software development1multi-agent1code modernization1ibm z1ibm i1java modernization1cobol1devsecops1bobalytics1red hat1lightwell1open source security1vulnerability remediation1sbom1supply chain security1mobile-advertising1app-monetization1user-acquisition1connected-tv1performance-marketing1ecommerce-ads1axon1applovin1nasdaq-app1online-store1commerce-platform1payments1point-of-sale1shopify-payments1dropshipping1shop-app1merchant-tools1ai-commerce1sidekick1canada-tech1samsung1samsung electronics1smartphones1galaxy1consumer-electronics1memory-chips1hbm1foundry1displays1home-appliances1south-korea1android1chaebol15g1pinterest1visual-search1social-media1image-discovery1shopping1advertising1boards1pins1gen-z1ai-shopping1content-discovery1nvidia1gpu1ai-chips1accelerated-computing1cuda1graphics-cards1geforce1deep-learning1jensen-huang1blackwell1vera-rubin1custom-silicon1ai-infrastructure1optics1networking1ethernet1asic1xpu1cloud1chips1interconnect1dsp1storage1santa-clara1kevin diao1shengxin diao1meixin global1mx global1cross-border investment1alternative investments1forbes 30 under 30 asia1nyu stern1china1asset allocation1investment management1kevin reilley1westhill1westhill global1insurtech1managed repair1property claims1restoration technology1hover1pictometry1eagleview1lexisnexis1quantivrisk1atlanta1property insurance1digital claims1hybrid-cloud1quantum-computing1watsonx1red-hat1enterprise-software1consulting1mainframe1granite-ai1big-blue1automation1data1kevin walton1baseimmune1vaccine ai1computational vaccine design1immunotherapy1fibrosis1idiopathic pulmonary fibrosis1corporate development1moderna alumni1duke law1biotech leadership1antigen design1ai drug discovery1london biotech1khaled bitar1avtal1avtal ceo1debt collection technology1collections platform1ai collections1s3 ventures1leftlane software1servicechannel1bain company1wharton mba1omnichannel collections1digital payments1khari austin-rawls1goldcast1chief of staff1b2b marketing1video content platform1hbs mba 20251university of pennsylvania1espn+1disney streaming1strategy and operations1new rochelle1diversity in tech1startup operator1portrait project1po-shen loh1education after ai1math olympiad1rural education1future of work1network theory1remote work1claude opus1africa development1humanoid robots1ai native engineer1stanford1mental health1accenture1risk management1integrated risk management1third-party risk1cyber resilience1ai platform1compliance1cryptoquant1on-chain data1bitcoin analytics1blockchain analytics1bitcoin1on-chain metrics1crypto analyst1whale tracking1kieran harney1sensibel1mems microphone1optical mems1analog devices1invensense1tdk1audio technology1oslo1boston1studio quality audio1sbm100b1acoustic sensors1kim lalande1key.co1key concierge1luxury vacation rentals1concierge services1travel tech1short-term rentals1vacation home management1marketplace1texas tech1kirill gertman1conduit1stablecoins1cross-border payments1b2b payments1crypto1payment infrastructure1emerging markets1defi1dragonfly capital1liam millward1instant1instant.one1retention marketing1australian startup1sydney1blackbird1teen founder1ai marketing1kris beevers1netbox labs1ns11network automation1dns1infrastructure1open source1ai infrastructure1rpi1computer science1kushal byatnal1extend1extend.ai1document processing1document ai1unstructured data1ycombinator w20231brex1stir1duke university1innovation endeavors1parse 2.01vision models1ocr1kunal sarda1arya health1healthcare automation1post-acute care1home health1verbalizeit1shark tank1smartling1digital agents1kurt dobbins1nrby1telecom1broadband1network intelligence1predictive analytics1location intelligence1geolocation1smartpins1ellacoya networks1deep information sciences1cabletron systems1arbor networks1new hampshire1patents1kurt kratchman1virti1immersive learning1ai roleplay1vr training1grapeshot1oracle1makude investment partners1enterprise saas1virtual humans1workplace training1kurt schrader1shortcut1clubhouse software1korey ai1project management1product management1intent media1cto school1clojure1ai product manager1greylock1battery ventures1lan huang1seed therapeutics1beyondspring1targeted protein degradation1molecular glue1e3 ligase1ubiquitin ligase1rite3 platform1protein degradation1biotech entrepreneur1uc berkeley1plinabulin1laura katz1helaina1lactoferrin1effera1precision fermentation1human milk proteins1bioactive proteins1nutrition1nyu food science1women in biotech1new york biotech1li-ran navon1sauce1getsauce1restaurant technology1food delivery1white-label delivery1say2eat1voice ordering1restaurant saas1commission-free delivery1direct ordering1restaurant operating system1lilac bar david1lili1neobank1challenger bank1small business banking1freelancers1smb1pepper bank1digital banking1accountant ai1women in fintech1israeli fintech1tax software1accounting automation1lina yao1teon therapeutics1cancer immunotherapy1immuno-oncology1gpcr1adenosine a2b receptor1small molecule drugs1tumor metabolism1cb2 receptor antagonist1gilead sciences1ucsf1chief scientific officer1redwood city biotech1first-in-class therapies1logistics1supply-chain1freight1data-intelligence1conversational-ai1tms1wms1erp1brokerage1carriers1revenue-intelligence1lior div17ai1cybereason1soc automation1unit 82001threat detection1incident response1security operations1reverse engineering1lior tibon1duetti1tidal1music financing1music catalogs1music royalties1independent artists1music rights1deutsche bank1music industry1stock analysis1valuation1ai transition1terminal value1bill mcdermott1investing1free cash flow1workflow orchestration1now platform1liam highland1po-shen-loh1carnegie-mellon1math-olympiad1critical-thinking1large-language-models1learning1homework1thoughtful1startup secrets1value proposition1michael skok1harvard i-lab1harvard innovation labs1four us framework1gain pain ratio1minimum viable segment1product market fit1founder market fit1underscore vc1startup frameworks1b2b1b2c1ken ono1ai for math1large language models1ramanujan1axiom math1number theory1frontiermath1epoch ai1genius1chatgpt1university of virginia1intelligence1y-combinator1casetext1cocounsel1legal-tech1jake-heller1gpt-41product-market-fit1founders1evals1thomson-reuters1exit1acquisition1stan lee1spider-man1marvel1comics1superheroes1amazing fantasy1storytelling1perseverance1pop culture1origin story1
Often tagged with
jon stephens1veridise1blockchain security1formal verification1formal methods1zero-knowledge proofs1zk security1smart contract audits1smart contract security1ut austin1program analysis1static analysis1smartpulse1zequal1

Tagged: audithub

1 result
Sort
Legend
Jon Stephens
Founder · Executive · Engineer

Jon Stephens

Jon Stephens is the CEO and co-founder of Veridise, an Austin-based blockchain security firm that brings academic formal verification to smart contract and zero-knowledge audits. A computer science PhD researcher at UT Austin, he built tools like SmartPulse and Zequal that grew out of his work on formally reasoning about programs, and turned that research into a company that has audited protocols including RISC Zero, Succinct, Semaphore, vLayer and Ankr. His mission is to make everyday users secure without asking them to think about security at all.

jon stephens · veridiseRead →