Albert C. Esterline

TitleAssociate Professor

DepartmentComputer Science


OfficeMcNair Hall
Room: 517

1601 East Market Street
Greensboro, NC 27411

Albert C. Esterline


MS: Mathematics, University of Minnesota Twin Cities, 1992

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

BA: Mathematics, 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

Gebreyohannes,  Solomon  Edmonson,  William  Esterline,  Albert  ( 2018).  Formalization of the Responsive and Formal Design Process using Category Theory,.  ( 2018,  ).   12th Annual IEEE International Systems Conference,.

Gebreyohannes,  Solomon  Edmonson,  William  Esterline,  Albert  ( 2017).  Formal Behavioral Requirements Management.    IEEE Systems Journal.

Amsalu,  Seifemichael   Homaifar,  Abdollah  Esterline,  Albert  ( 2017).  A Simplified Matrix Formulation for Sensitivity Analysis of Hidden Markov Models.  ( 2,  10,  pp. 97 ff.).   Algorithms.