Sotabase

Career

· Research Compter Engineer, NASA Langley Research Center2011–
· Computer Scientist, National Institute of Aerospace2008–2010
· Postdoctoral Associate, National Instiute of Aerospace2007–2008
· Visiting Scholar, UIUC2004–2008
· 2002, Formal Methods, Specification, Refinement, and Verification Summer School2002–2002
· M.S.E., Computer and Information Science., University of Pennsylvania1999–2000
· Ph.D., Computer and Information Science., University of Pennsylvania1999–2008
· Senior Software Engineer, American Compter Technology1996–1999
· Software Engineer, DBA, SA, Research Analysis and Maintenance1993–1996
· Master's degree, Mathematics, George Mason University1989–1995
· masters, Mathematics, George Mason University1989–1995
· M.S., Mathematics, George Mason University1988–1992
· Software Engineer, Unisys1986–1993
· Computer Programmer, Syscon1985–1986
· B.S., Computer Science, Old Dominion University1981–1985

Publications (0)

Governing AI safety through independent audits
Nature Machine Intelligence · 2021
177
cited
Copilot: A Hard Real-Time Runtime Monitor
Runtime Verification · 2010
127
cited
Monitoring Distributed Real-Time Systems: A Survey and Future Directions
2010
94
cited
Copilot: monitoring embedded systems
Innovations in Systems and Software Engineering · 2013
50
cited
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
NASA Formal Methods · 2013
38
cited
Challenges in the Verification of Reinforcement Learning Algorithms
2017
31
cited
Formal prototyping in early stages of protocol design
International Conference on Wireless Information Technology and Systems · 2005
25
cited
Assuring the Guardians
Runtime Verification · 2015
22
cited
Experience report: a do-it-yourself high-assurance compiler
ACM SIGPLAN International Conference on Functional Programming · 2012
18
cited
Automated Translation of Natural Language Requirements to Runtime Monitors
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2022
15
cited
Challenges in High-Assurance Runtime Verification
Leveraging Applications of Formal Methods · 2016
11
cited
From Verified Models to Verifiable Code
2009
10
cited
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project
FMAS · 2020
9
cited
Assuring Safety-Critical Machine Learning Enabled Systems: Challenges and Promise
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) · 2022
6
cited
L3A: a protocol for layer three accounting
1st IEEE ICNP Workshop on Secure Network Protocols, 2005. (NPSec). · 2005
6
cited
Trustworthy Runtime Verification via Bisimulation (Experience Report)
Proc. ACM Program. Lang. · 2023
6
cited
Predictable programs in barcodes
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems · 2002
5
cited
A foundation for tunnel-complex protocols
2008
4
cited
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
International Workshop on Formal Methods for Industrial Critical Systems · 2009
4
cited
Fault-tolerant functional reactive programming (extended version)
Journal of functional programming · 2020
4
cited
Sotabase