Glenn Bruns' Home Page

Glenn Bruns

Enabling Computing Technologies

My research training is in the fields of concurrency theory and temporal logic, but I have broad interests including verification, formal methods, and software engineering. Over the past few years the topics I've worked on include access control, privacy, database integrity constraint checking, multi-valued model checking, and program analysis. A recently-developed interest is programming support for multi-core.

In applying computer science, one general approach I like is abstraction, in which analysis is made tractable by ignoring details not relevant to the property of interest. My PhD work concerned abstraction techniques for verifying temporal properties of processes, and my work (with Patrice Godefroid) on multi-valued model checking is also in this vein. I would like to do more in the area of designer-guided abstraction, where the designer of a system can provide hints or annotations to show which parts of the system design are relevant to key system properties.

I also like constructive approaches to achieving correctness and other system properties. The idea here is that one should achieve desired properties of a system through the construction process, not through (an often intractable) post-hoc analysis. This is one of the reasons I like domain-specific languages and code-generation.

Warning: the photo above is ancient (1998)!

Publications

Other links:

My book Distributed Systems Analysis with CCS
The CCS value-passing translator (vp)
My PhD thesis, Process Abstraction in the Verification of Temporal Properties, is available electronically as report ECS-LFCS-98-380 from the reports site at the Laboratory for Foundations of Computer Science, University of Edinburgh.

Address:

Bell Laboratories

Alcatel-Lucent

Room 9F-538

2701 Lucent Lane

Lisle, IL 60532, USA

Last updated 6/27/8.