David Burke

David Burke

Contact

Research and Engineering
Office: 503.626.6616 x125
Cell: 503.330.9512
Email: davidb (at) galois (dot) com

At Galois

I lead two initiatives at Galois:

Active Defense Program

Information systems operate in an increasingly hostile environment, and existing static, signature-based solutions to network and host defense are increasingly inadequate.

The Active Defense Program vision is to realize sophisticated, adaptive, bio-inspired systems that maintain their resiliency in this dynamic threat environment.  To accomplish this, we bring together capabilities at Galois to produce situationally-aware, real-time solutions that are effective against the wide spectrum of attacks that mission-critical systems encounter, for both our government and commercial clients.

Blue Sky

The long-term viability of Galois requires innovation, and Blue Sky is one of the vehicles inside Galois for enabling that innovation to happen. Our primary concern is ensuring that the Galois culture embodies creative, long-term, disruptive thinking.

Linus Pauling once said, "The best way to get a good idea is to have a lot of ideas," and it's the job of Blue Sky to encourage and nurture them.

My Background

Much of my work has been in the application of mathematical and statistical modeling, machine learning, and data visualization to problems in both the natural and social sciences, with a specialization in Bayesian techniques for reasoning under uncertainty.

My current research interests are in applying game-theoretic techniques for ensuring robust decision-making in multi-agent systems, and logics for reasoning about trust in the design of secure systems.

I received a M.S. in Computer Science from the Oregon Graduate Institute in 1998, and a B.S.M.E. from Lehigh University in 1983. My M.S. thesis was on the subject of the automatic generation of compilers from high-level specifications.

Publications