Faculty Profile for Dr. Jill M Seaman

Dr. Jill M Seaman
Professor of Instruction — Computer Science
CMAL COMAL 210D
phone: (512) 245-4706
Selected Scholarly/Creative Work
- 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).
Selected Awards
- 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
Selected Grants
- 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.
Selected Service Activities
Member
Instructional Faculty Search Committee
August 2021-Present
Chair
ABET Accreditation Committee
September 1, 2018-Present
Undergraduate Advisor
September 2017-Present
Chair
Undergraduate Committee
September 1, 2017-Present
Member
Academic Assessment Committee
September 1, 2017-Present