Faculty Profile for Dr. Jill M Seaman

profile photo for Dr. Jill M Seaman
Dr. Jill M Seaman
Senior Lecturer — Computer Science
CMAL COMAL 210D
phone: (512) 245-4706
Scholarly/Creative Work
Awards
Grants
Service

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, Qasem, Apan Muhammad, Seaman, Jill M. Data Collection for Inclusive Computing, Center for Inclusive Computing, Northeastern University. (Funded: February 1, 2021 - Present). Grant.

Selected Service Activities

Member
Senior Lecturer 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