Activity
-
So are we supposed to pay taxes this year or what
So are we supposed to pay taxes this year or what
Posted by Seth Ahrenbach
-
I for one would like to thank the American taxpayers for buying my crypto bags and bailing me out of my bad trades
I for one would like to thank the American taxpayers for buying my crypto bags and bailing me out of my bad trades
Posted by Seth Ahrenbach
-
The recession won’t be over until the very idea of “strategist” being a job that is distinct from CEO gets memory holed.
The recession won’t be over until the very idea of “strategist” being a job that is distinct from CEO gets memory holed.
Posted by Seth Ahrenbach
Experience
-
Beneficial AI Foundation
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Education
-
University of Missouri
-
Activities and Societies: Center for High Assurance Computing
-
-
13 weeks of full time learning about the use of DevOps tools and processes to build cloud native GIS applications.
-
-
Researched new formal methods for information assurance, modeling agent knowledge, belief, and action with symbolic logic.
-
-
Activities and Societies: Department Representative on the Graduate Professional Council, GPC Committee for Student Organizations, GPC Internal Committee for Student Affairs
-
-
Licenses & Certifications
Publications
-
Formal analysis of pilot error using agent safety logic
Innovations in Systems and Software Engineering
In this paper, we show that modal logic is a valuable tool for the formal analysis of human errors in aviation safety. We develop a modal logic called agent safety logic (ASL), based on epistemic logic, doxastic logic, and a safety logic grounded in a flight safety manual. We identify a class of human error that has contributed to several aviation incidents involving a specific kind of pilot knowledge failure and formally analyze it. The use of ASL suggests how future avionics might increase…
In this paper, we show that modal logic is a valuable tool for the formal analysis of human errors in aviation safety. We develop a modal logic called agent safety logic (ASL), based on epistemic logic, doxastic logic, and a safety logic grounded in a flight safety manual. We identify a class of human error that has contributed to several aviation incidents involving a specific kind of pilot knowledge failure and formally analyze it. The use of ASL suggests how future avionics might increase aircraft safety.
-
Reasoning about safety-critical information flow between pilot and computer
NASA Formal Methods Symposium 2017
A logic for reasoning about pilot awareness of safety-critical information is developed and applied to aviation safety.
-
Toward a Procedure for Data-Mining Proofs
Lecture Notes in Artificial Intelligence 7788
In this paper, we use an information theoretic measurement to compare formulas for their usefulness in deducing a target theorem. The method greatly improves a theorem prover's ability to distinguish useful formulas from useless ones, which makes it faster and more powerful.
Other authors -
Courses
-
Advanced Logic (Temporal, Modal, Conditional, Relevance, and Intuitionistic Logics)
-
-
Advanced Symbolic Logic (Modal Logic)
-
-
Analysis and Design of Algorithms
-
-
Assembly Language and Computer Architecture
-
-
Decision Theory/Game Theory
-
-
Epistemology (Graduate Seminar)
-
-
Epistemology (Undergraduate Seminar)
-
-
Formal Logic (Metatheory)
-
-
Formal Methods for Verification of Secure Systems
-
-
Linguistics - History of the English Language
-
-
Linguistics - Phonology
-
-
Mathematical Logic
-
-
Philosophy of Biology
-
-
Philosophy of Law
-
-
Political Philosophy
-
-
Principles of Programming Languages
-
-
Problems in Computer Science
-
-
Rational Decision Making (Decision theory and Game theory)
-
-
Seminar in Logic (Deontic Logic)
-
-
Software Engineering
-
Honors & Awards
-
NGA CIO/T Trusted Mission Partner
-
-
Hack the Arch 2016
Military Cyber Professionals Association
I put together a team of hackers and we competed in a capture the flag event put on by MCPA. We took first place in the college bracket, third place overall.
Languages
-
Spanish
-
More activity by Seth
-
‼️ We are hiring a Research Fellow in Formal Methods for Safe AI at the University of Birmingham, focusing on applications to AI-Driven…
‼️ We are hiring a Research Fellow in Formal Methods for Safe AI at the University of Birmingham, focusing on applications to AI-Driven…
Liked by Seth Ahrenbach
-
It’s Friday night, why aren’t you debugging multiple layers of automation to deploy, run, and test docker files across multiple servers?
It’s Friday night, why aren’t you debugging multiple layers of automation to deploy, run, and test docker files across multiple servers?
Posted by Seth Ahrenbach
-
FVAPPS is a benchmark consisting of 4715 function signatures each with 2-5 theorems. Fill in the sorry's to measure your model's capabilities or…
FVAPPS is a benchmark consisting of 4715 function signatures each with 2-5 theorems. Fill in the sorry's to measure your model's capabilities or…
Liked by Seth Ahrenbach
-
You wouldn’t last an hour in the asylum where they raised me
You wouldn’t last an hour in the asylum where they raised me
Shared by Seth Ahrenbach
-
Vibe coding is -EV for most people. You need to interrogate your LLM’s code like a defense attorney doing a cross examination. Otherwise you have a…
Vibe coding is -EV for most people. You need to interrogate your LLM’s code like a defense attorney doing a cross examination. Otherwise you have a…
Posted by Seth Ahrenbach
-
One more post for the DOGE group and Mr. Musk. The people you’re asking to justify their positions didn’t create those positions. Don’t beat them up…
One more post for the DOGE group and Mr. Musk. The people you’re asking to justify their positions didn’t create those positions. Don’t beat them up…
Liked by Seth Ahrenbach
-
I looked deep within myself and found one more is what it is
I looked deep within myself and found one more is what it is
Posted by Seth Ahrenbach
-
The scene in the movie is fast approaching, in which you must choose between right and wrong.
The scene in the movie is fast approaching, in which you must choose between right and wrong.
Posted by Seth Ahrenbach
-
*this statement expressed is mine alone and does not reflect the official policy or position of the U.S. Government* Today I took my headshot for…
*this statement expressed is mine alone and does not reflect the official policy or position of the U.S. Government* Today I took my headshot for…
Liked by Seth Ahrenbach
Other similar profiles
Explore collaborative articles
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore More