Albert C. Esterline

TitleAssociate Professor

DepartmentComputer Science

Phone336-285-2440

Fax336-334-7244

Emailesterlin@ncat.edu

Websiteesterline.ncat.edu

OfficeMcNair Hall
Room: 517

1601 East Market Street
Greensboro, NC 27411

Albert C. Esterline

Education

MS: Mathematics, University of Minnesota Twin Cities, 1992

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

BA: 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  ( 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.