Albert C Esterline

Associate Professor

Albert C Esterline
College of Engineering

Computer Science

McNair Hall 517
B.A.Lawrence University
M.S.Mathematics / University of Minnesota Twin Cities
Ph.D.Computer and Information Sciences / University of Minnesota Twin Cities

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

External URL


Recent Publications

  • Albert Esterline, Janelle Mason, Kaushik Roy (2019). (A Framework to Identify People in Unstructured Environments Incorporating Biometrics). (Security, Privacy, and Anonymity in Computation, Communication, and Storage) pp. 65-75 ). Springer International Publishing.
  • Albert Esterline, Christopher Kelley, Kaushik Roy (2019). (An Empirical Evaluation of User Movement Data on Smartphones). (04) 18, pp. 1950025 ). International Journal of Computational Intelligence and Applications.
  • William Edmonson, Albert Esterline, Solomon Gebreyohannes (2018). (Formalization of the Responsive and Formal Design Process using Category Theory,). 2018, ). 12th Annual IEEE International Systems Conference,.
  • Albert Esterline, Janelle Mason, Kaushik Roy (2018). (An Evaluation of User Movement Data). (Lecture Notes in Computer Science) pp. 729-735 ). Springer International Publishing.
  • William Edmonson, Albert Esterline, Solomon Gebreyohannes (2017). (Formal Behavioral Requirements Management). ). IEEE Systems Journal.
  • Seifemichael Amsalu, Albert Esterline, Abdollah Homaifar (2017). (A Simplified Matrix Formulation for Sensitivity Analysis of Hidden Markov Models). (2) 10, pp. 97 ff. ). Algorithms.
  • Foysal Ahmad, Pablo Arias, Gerry Dozier, Albert Esterline, Brian O'Connor, Kaushik Roy, Joseph Shelton (2015). (Face recognition utilizing patch based game theory). (4) 5, pp. 5 ). International Journal of Machine Learning and Computing.
  • Kassahun Asamene, Gina Bullock, Albert Esterline, William Nick, Mannur Sundaresan (2015). (A Study of Machine Learning Techniques for Detecting and Classifying Structural Damage). (4) 5, pp. 313-318 ). International Journal of Machine Learning and Computing.
  • Jules Chenou, William Edmonson, Albert Esterline (2014). (Capturing the Dynamism of Situation in the Flow of Information). (2) 9, pp. 302-309 ). International Review on Computers and Software.
  • Jules Chenou, Albert Esterline, Steven Jiang, Zongliang Jiang, Celestine Ntuen (2013). (Discovering Socio-behavioral Metrics in Mobile Ad-Hoc Systems). (6) 1, ). International Journal of Engineering Applications.
  • Albert Esterline, Kaushik Roy, Xiaohong Yuan (Using a Long Short-Term Memory Recurrent Neural Network (LSTM-RNN) to Classify Network Attacks,). (5) 11, ). Information Journal, Special Issue on Machine Learning for Cyber-Security.