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: Math, Univ Minnesota Minneapolis, 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