Frederick “Rick” Sheldon
Professor
Ph.D. computer science ’96
M.S. computer science ’88
B.S. computer science ’83
B.S. microbiology ’77
Areas of expertise
- Information assurance and security
- Formal methods, specification, model checking, closed-form and stochastic analysis
- Software requirements, design, development and testing of high-assurance systems
- Cryptographic key management, supply chain and authentication
- Security policy compliance, hazards/vulnerabilities and risk assessment
- Cyber-physical systems, failure scenarios and penetration testing
- Cybernomics
Contact me
208-292-2545
Hedlund Building, Room 202EEngineering
Coeur d'Alene