Albert C. Esterline

TitleAssociate Professor

DepartmentComputer Science



OfficeMcNair Hall
Room: 517

1601 East Market Street
Greensboro, NC 27411

Albert C. Esterline


MS: Math, University of Minnesota Twin Cities, 1994

Ph D: Computer and Information Sciences, University of Minnesota Twin Cities, 1992

BA: Philosophy, Lawrence University, 1969

Research Interests

Dr. EsterlineĆ¢€™s research includes the area of formal methods: classical formalisms (such as Hoare logic, Z, and VDM) and especially concurrency formalisms (including SPIN. CSP, the pi-calculus, part-whole statecharts, and modal and temporal logics), which research has been supported by NASA. He applies category theory, especially in systems engineering (with NASA). Dr. EsterlineĆ¢€™s research on multiagent systems has been supported by the Army and NASA; it relates especially to concurrency formalisms and computational microeconomics. NOAA has supported work on multiagent systems for weather monitoring. His enhancement of the WebID single sign-o

Recent Publications