COMPUTER SCIENCE
INSTAR's computer science research addresses the foundational problems that determine whether software systems are trustworthy, efficient, and correct. We pursue questions in algorithms, systems architecture, security, and software reliability that matter to federal agencies, critical infrastructure, and scientific computing programs — disciplines where the cost of failure is not a bug report but a breach or a failed mission.
Algorithms & Theory
INSTAR examines computational complexity, approximation algorithms, graph theory, and combinatorial optimization. The emphasis is on provable performance guarantees — understanding not just whether an algorithm works but why, and under what conditions it degrades. This rigor connects directly to applications in scientific computing, large-scale data analysis, and resource-constrained operational environments.
Learn More
Systems & Architecture
INSTAR investigates systems software and hardware architecture questions that shape scientific computing capacity — operating system design, compiler optimization strategies, and the tradeoffs in heterogeneous processor architectures. The research interest is in how systems-level decisions propagate upward into application performance and downward into hardware requirements, particularly for high-performance computational workloads.
Learn More
Computer Security
INSTAR's security research spans cryptographic protocol analysis, program analysis for vulnerability detection, and the formal verification of security properties in software systems. The central question is how to reason rigorously about what a system will not do — a harder and more valuable guarantee than demonstrating what it will do. This work is directly relevant to national cybersecurity priorities and the resilience of critical software infrastructure.
Learn More
Distributed Computing
Distributed computing underpins everything from large-scale scientific simulation to national data infrastructure. INSTAR examines fault-tolerance guarantees, consensus protocol correctness, replication strategies, and workload scheduling in heterogeneous clusters — the layer where theoretical computer science meets the unglamorous reality of hardware failures, network partitions, and resource contention. The INSTAR Fellowship welcomes PhD researchers in CS, mathematics, and related fields; learn more at /fellowship/.
Learn MoreOUR PARTNERS
