Computer scientist working in the areas of applied logic, formal methods, and programming languages.
-
NASA
- NASA Langley Research Center
Popular repositories Loading
-
DistributedSystemsModalLogic
DistributedSystemsModalLogic PublicA repo to keep papers in topology, modal logic, and distributed systems.
Rich Text Format 1
-
race-odin
race-odin PublicForked from NASARace/race-odin
Open Data Integration (ODIN) example project based on RACE
Scala
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.