Bio Informatics


	Computer Science Laboratory

	Contact

	People at CSL

	Projects at CSL

-	Active Networks Test Environment (ACTIVATE)
-	Adaptable Network Control and Reporting System (ANCORS)
-	Agile Management of Dynamic Collaboration
-	Artifactory
-	Autonomous Negotiating Teams (ANT)
-	Bio Informatics
-	Bixie
-	Common Authentication Protocol Specification Language (CAPSL)
-	Compositional Abstraction and Refinement for Aspects (CARA)
-	Correlated Attack Modeling (CAM)
-	Cyber-Threat Analytics (Cyber-TA)
-	Cybersecurity Experimentation of the Future (CEF)
-	DARPA Agent Markup Language (DAML)
-	Dependable Intrusion Tolerance (DIT)
-	Detection and Analysis of Threats to the Energy Sector
-	Detection and Analysis of Threats to the Energy Sector (DATES)
-	Dynamic Dependability Gauges (DASADA)
-	eBayes
-	Enclaves
-	Evaluation Methods for Internet Security Technology (EMIST)
-	Event Monitoring Enabling Responses to Anomalous Live Disturbances (EMERALD)
-	Formal Composition Technology for Time-Triggered Systems
-	Genesis of Cyberscience
-	Integrated Canonizer and Solver (ICS)
-	Internet of Things Security and Privacy Center (IoTSPC)
-	Intrusion Tolerance for NEST
-	Intrusion Tolerant Architectures
-	Maude
-	Mobile Maude
-	Molecular Electronics
-	Network Embedded Systems Technology (NEST)
-	Next Generation (XG)
-	Next-Generation Intrusion-Detection Expert System (NIDES)
-	ONISTT
-	Pathway Logic
-	PHD: Predicting Health and Disease (PHD)
-	Principles and Foundations for Fractionated Networked Cyber-Physical Systems
-	Process Control Systems Security
-	Prototype Verification System (PVS)
-	Public Key Infrastructure (PKI)
-	Secure Access Wrapper (SAW)
-	Semantically Enabled Automated Assessment in Virtual Environments (SAVE)
-	Sensor Coordination using Active Dataspaces
-	Sharing Expertise and Artifacts for Reuse through Cybersecurity Community Hub (SEARCCH)
-	Symbolic Analysis Laboratory (SAL)
-	Trusted Interoperation of Healthcare Information (TIHI)
-	Trusted Interoperation of Heterogeneous Autonomous Databases
-	Virtualized Execution Realizing Network Infrastructures Enhancing Reliability (VERNIER)
	Research Programs

	Division Home

Bio Informatics

What if the pathways of human biology could be modeled with the same tools we use to model computer circuits? The BioComp Initiative asks that question, and seeks to promote the crossover of technology between the worlds of Biology and Computer Science.

More Information: http://biospice.sourceforge.net/

Principal Investigator:

Dr. Patrick Lincoln

Staff Members:

Papers:

Pathway Logic: Symbolic Analysis of Biological Signaling (2002)

About Us R&D Divisions Careers Newsroom Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy