Summer Sale
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Up to 30% off — ends 7 Aug
ONLY00h00m00s
ashutosh trivedi
University of Colorado Boulder
United States
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI
Contact this professor
Research Interests
Mathematical Logic
10%
Artificial Intelligence
10%
Stochastic Programming
20%
Dynamic Systems
20%
Verification Engineering
20%
Formal Methods
20%
Field-programmable Gate Arrays
10%
Ask ApplyKite AI
Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?
Articles7
Collaborators7
Sven Schewe
Professor
University of Liverpool
UNITED KINGDOM
FABIO SOMENZI
University of Colorado Boulder
UNITED STATES
Krystia Reed
Assistant Professor
University of Texas at El Paso
UNITED STATES
Saeid Tizpaz-Niari
University of Texas at El Paso
UNITED STATES
Majid Zamani
Professor
University of Colorado Boulder
UNITED STATES
Abolfazl Lavaei
Assistant Professor
Newcastle University
UNITED KINGDOM
Dominik Wojtczak
University of Liverpool
UNITED KINGDOM
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI