Artificial intelligence (AI) is rapidly shaping everything from the way we solve math problems to how experts tackle life-critical challenges in healthcare and scientific research. The linchpin of this transformative potential is reasoning—the ability for AI systems to think through novel...
ai architecture
ai benchmarks
ai evaluation
ai in education
ai in healthcare
ai in science
ai reasoning
ai reliability
artificial intelligence
chain-of-reasoning
cross-domain generalization
formalmethods
language models
mathematical reasoning
microsoft ai research
neuro-symbolic generation
reinforcement learning
small ai models
symbolic ai
trustworthy ai
Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Link Removed (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal methods...
acm sigsoft
awards
computer science
etaps 2002
executable semantics
formalmethods
grigore rosu
hoare logic
icse 2011
nasa ames
nsf career
program verification
programming languages
research
software engineering
system development
teaching
theoretical foundations
uiuc
Meet Dr. John Rushby, a computer scientist who runs the Formal Methods group within the Computer Science Laboratory at SRI International. Dr. Rushby is a legendary scientist in the field of formal methods and verification. He has a very rich history in the computer science which you will learn...
computer mouse
computer science
computing history
expert conversations
formalmethods
icse 2011
john rushby
sri international
verification
wolfram schulte