Alcatel-Lucent > Bell Labs > Enabling Computing Technologies > Computing and Software Principles Research
Computing and Software Principles Research
Bell Labs
[Photograph]

Glenn Bruns

Computing and Software Principles Research
Bell Laboratories
Alcatel-Lucent
Room 9C-538
1960 Lucent Lane
Naperville, IL 60566, USA
Ph: +1 630-979-6593
About
Publications
About

I'm a Distinguished Member of Technical Staff in the Computing and Software Principles Research department in the Enabling Computing Technologies domain at Bell Labs.

My research training is in concurrency theory and temporal logic, but I have broad interests including verification, formal methods, and software engineering. In recent years I've worked on topics in databases (integrity checking, cleaning), verification (multi-valued model checking), security (access control and confidentiality), and services.