Wed 01.20.16
Wed 01.20.16
Wed 01.20.16
Wed 01.20.16
automated theorem proving, concurrency, decision procedures, formal verification, model checking, numerical procedures, refinement, reliable systems
automated theorem proving, concurrency, decision procedures, formal verification, model checking, numerical procedures, refinement, reliable systems
automated theorem proving, concurrency, decision procedures, formal verification, model checking, numerical procedures, refinement, reliable systems
automated theorem proving, concurrency, decision procedures, formal verification, model checking, numerical procedures, refinement, reliable systems
When the consequences of errors can be devastating, ensuring the safety and reliability of systems is critical. At Khoury College of Computer Sciences, we develop new methods and tools for the design, verification, validation, and analysis of computational systems. Our formal methods research impacts a variety of sectors—from aerospace to cybersecurity to safety-critical systems—to explore a fundamental question: How do we reason about computation?
When the consequences of errors can be devastating, ensuring the safety and reliability of systems is critical. At Khoury College of Computer Sciences, we develop new methods and tools for the design, verification, validation, and analysis of computational systems. Our formal methods research impacts a variety of sectors—from aerospace to cybersecurity to safety-critical systems—to explore a fundamental question: How do we reason about computation?
When the consequences of errors can be devastating, ensuring the safety and reliability of systems is critical. At Khoury College of Computer Sciences, we develop new methods and tools for the design, verification, validation, and analysis of computational systems. Our formal methods research impacts a variety of sectors—from aerospace to cybersecurity to safety-critical systems—to explore a fundamental question: How do we reason about computation?
When the consequences of errors can be devastating, ensuring the safety and reliability of systems is critical. At Khoury College of Computer Sciences, we develop new methods and tools for the design, verification, validation, and analysis of computational systems. Our formal methods research impacts a variety of sectors—from aerospace to cybersecurity to safety-critical systems—to explore a fundamental question: How do we reason about computation?
At Khoury College, we design novel formal verification tools and techniques that help achieve the highest level of reliability across many different industries. We work closely with government and industry partners, including the Defense Advanced Research Projects Agency (DARPA), National Science Foundation (NSF), SRC, NASA, IBM, and Boeing. As a doctoral or graduate student, you’ll gain hands-on experience solving fundamental problems in a variety of important application areas.
At Khoury College, we design novel formal verification tools and techniques that help achieve the highest level of reliability across many different industries. We work closely with government and industry partners, including the Defense Advanced Research Projects Agency (DARPA), National Science Foundation (NSF), SRC, NASA, IBM, and Boeing. As a doctoral or graduate student, you’ll gain hands-on experience solving fundamental problems in a variety of important application areas.
At Khoury College, we design novel formal verification tools and techniques that help achieve the highest level of reliability across many different industries. We work closely with government and industry partners, including the Defense Advanced Research Projects Agency (DARPA), National Science Foundation (NSF), SRC, NASA, IBM, and Boeing. As a doctoral or graduate student, you’ll gain hands-on experience solving fundamental problems in a variety of important application areas.
At Khoury College, we design novel formal verification tools and techniques that help achieve the highest level of reliability across many different industries. We work closely with government and industry partners, including the Defense Advanced Research Projects Agency (DARPA), National Science Foundation (NSF), SRC, NASA, IBM, and Boeing. As a doctoral or graduate student, you’ll gain hands-on experience solving fundamental problems in a variety of important application areas.
