Faculty Profiles

Dr. Jill M Seaman

PhD in Computer Science

Penn State University Park, 1993

BA in Computer Science

Messiah College, 1987

Shi, Hongchi (Principal), Qasem, Apan Muhammad (Co-Principal), Seaman, Jill M (Co-Principal). Data Alliance on Persistence and Perception in Computing, Northeastern University Center for Inclusive Computing, Institutional (Higher Ed), $10000. (Funded: May 2024 - August 2026). Grant.
Shi, Hongchi (Principal), Qasem, Apan Muhammad (Co-Principal), Seaman, Jill M (Co-Principal). Data Collection for Inclusive Computing, Center for Inclusive Computing, Northeastern University, Institutional (Higher Ed), $60000. (Funded: February 1, 2021 - December 2023). Grant.

Iyer, S. P., & Seaman, J. M. (1996). An Operational Semantics of Sharing in Lazy Evaluation. Science of Computer Programming, 27(3), 289–322.
Seaman, J., & Felty, A. (1994, January). Proving Properties about a Lazy Functional Language with the Coq Proof Development System. Technical Report.
Purushothaman, S., & Seaman, J. (1993). From Operational Definitions to Abstract Semantics. In Functional Programming Languages and Computer Architecture (pp. 276–288).
Seaman, J. (1992). An Adequate Operational Semantics for Sharing in Lazy Evaluation. In In The European Symposium of Programming (pp. 435–450).

Award / Honor Recipient: Presidential Distinction Award for Teaching, Texas State University College of Science and Engineering. 2022
Award / Honor Recipient: Presidential Distinction Award for Service, Texas State University College of Science and Engineering. 2021
Award / Honor Recipient: Presidential Distinction Award for Service, Texas State University College of Science and Engineering. 2020
Award / Honor Recipient: Texas State University College of Science and Engineering Achievement Award, College Achievement Award for Service. 2018
Award / Honor Recipient: Texas State University College of Science and Engineering Achievement Award, College Achievement Award for Teaching. 2015