AppMAIS Workshop
May 14, 2023
A team of CS researchers (Chris Campell, Tinghao Feng, Baset Hamza, Mitch Parry, and Rahman Tashakkori) held the first AppMAIS workshop at App State o...
Congratulations to Dr. Patricia Johann and Dr. Pierre Cagne on publication.
May 13, 2023
Partiality Wrecks GADTs' Functoriality" by Pierre Cagne and Patricia Johann was accepted to TYPES 2023, the 29th International Conference on Types for...
Congratulations to Mohammad Ali Javidian for being a 2023 - 2025 GRAM awardee.
Feb 6, 2023
Dr. Mohammad Ali Javidian2023 - 2025 GRAM award winnerThe GRAM award provides $14,000 in funding per year for two years, to be used as a stipend...
Congratulation to Shane Miller for being selected as this months College of Arts and Sciences spotlight.
Feb 1, 2023
Congratulation to Shane Miller for being selected for this months College of Arts and Sciences spotlight....
Congratulations to Mohammad Ali for the acceptance publication in the Physical Review A journal.
Nov 17, 2022
Congratulations to Mohammad Ali for the acceptance of his paper for publication in the Physical Review A journal."Physical Review A" journal: Quantum ...
Contratulations Dr. Mohammad Ali Javidian and Dr. Mir Ahsan Pritom for Summer SWAG award
Nov 3, 2022
Dr. Mohammad Ali's summer grant writing application Gamified Approach to Vaccination Encouragement through the Lens of Causality has been ap...
Dr. Andrew Polonsky has paper published.
Oct 12, 2022
Congratulations to Dr. Andrew Polonsky for having his paper "On sets of terms having a given intersection type" published in the Logical Methods in Co...
Congratulations to Dr. Patricia Johann and Dr. Enrico Ghiorzi for a new article that was just accepted for publication.
Nov 24, 2021
Congratulations to Dr. Patricia Johann and Dr. Enrico Ghiorzi for a new article that was just accepted for publication. (Deep) Induction Ru...
Contratulations to Dr. Patricia Johann and Dr. Enrico Ghiorzi
Nov 2, 2021
Contratulations to Dr. Patricia Johann and Dr. Enrico Ghiorzi for having their paper, Parametricity for Nested Types and GADTs, accepted for...
Congratulations College of Arts and Sciences Award Nominees
Oct 23, 2021
Congratulations to all of the CS Faculty nominees who were reconginzed for their excellence at the College of Arts and Sciences awards ceremony....