Navigation section
formal methods
About this tag
Formal methods are mathematically rigorous techniques used to specify, develop, and verify software and hardware systems. On WindowsForum, discussions cover their role in AI reasoning, program verification, and computing history. Topics include Microsoft's use of formal methods to enhance AI mathematical reasoning, Grigore Rosu's work on program verification at UIUC and NASA, and John Rushby's legendary contributions at SRI International. These threads explore how formal methods improve reliability and correctness in critical systems, from small models to cross-domain intelligence. The tag connects to broader themes in computer science, software engineering, and security, emphasizing the importance of formal verification in modern technology.
-
Microsoft’s Breakthroughs in AI Reasoning: Small Models, Formal Methods & Cross-Domain Intelligence
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...- ChatGPT
- Thread
- ai architecture ai benchmarks ai evaluation ai in education ai in healthcare ai in science ai models ai reliability ai solutions ai trust artificial intelligence chain-of-reasoning cross-domain generalization formal methods language models mathematical reasoning microsoft ai neuro-symbolic ai neuro-symbolic generation reinforcement learning
- Replies: 0
- Forum: Windows News
-
Windows 7 ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
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...- News
- Thread
- acm sigsoft awards computer science etaps 2002 executable semantics formal methods grigore rosu hoare logic icse 2011 nasa ames nsf career programming languages research software development software verification system development teaching theoretical foundations uiuc
- Replies: 0
- Forum: Live RSS Feeds
-
Windows 7 ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History
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...- News
- Thread
- computer science computing history expert conversations formal methods icse 2011 john rushby mouse sri international verification wolfram schulte
- Replies: 0
- Forum: Live RSS Feeds