Department celebrates record for research grants
See UH News
Category Archives: Research
Vaccines season
Will COVID-19 win the Super Bowl in 2021?
An informational poster (PDF) from Prof. Chyba and her team.
A team of University of Hawaiʻi at Mānoa researchers will attempt to forecast COVID-19 in Hawaiʻi through modeling based on current data. Led by Department of Mathematics Professor and principal investigator Monique Chyba, the one-year project, which kicked off on July 1, 202, received a $199,000 award from the National Science Foundation.
More at UH News.
Graduate & Undergraduate programs in logic
The Department of Mathematics at University of Hawaii at Manoa has long had an informal graduate program in logic, lattice theory, and universal algebra (People, Courses, Description) going back to Alfred Tarski’s 1963 student William Hanf.
The local logic seminar is on hiatus due to the pandemic.
However, now is a good time to join the international online seminar Computability Theory and Applications.
We are offering the following course rotation (courses mostly repeating after two years):
Graduate courses
Past offerings
| Semester | Course number | Course title | Instructor |
|---|---|---|---|
| Spring 2016 | MATH 649 | Applied Model Theory | Ross |
| Fall 2016 | MATH 654 | Graduate Introduction to Logic | Beros |
| Spring 2017 | MATH 657 | Computability and Complexity | Khan |
| Spring 2018 | MATH 649 | Applied Model Theory | Ross |
| Fall 2018 | MATH 654 | Graduate Introduction to Logic | Kjos-Hanssen |
| Spring 2019 | MATH 655 | Set theory | Williams |
| Spring 2020 | MATH 657 | Computability and Complexity | Kjos-Hanssen |
| Fall 2020 | MATH 654 | Graduate Introduction to Logic | Kjos-Hanssen |
| Spring 2021 | MATH 649 | Applied model theory | Ross |
Future offerings:
| Semester | Course number | Course title | Instructor |
|---|---|---|---|
| Spring 2022 | MATH 657 | Computability and Complexity | Kjos-Hanssen |
| Fall 2022 | MATH 654 | Graduate Introduction to Logic | TBA |
It is also recommended that students familiarize themselves with undergraduate level logic, which is offered on the following schedule:
Undergraduate courses
Past offerings
| Semester | Course number | Course title | Instructor |
|---|---|---|---|
| Fall 2012 | MATH 454 | Axiomatic Set Theory | Kjos-Hanssen |
| Spring 2013 | MATH 455 | Mathematical Logic | Kjos-Hanssen |
| Fall 2014 | MATH 454 | Axiomatic Set Theory | Ross |
| Spring 2015 | MATH 455 | Mathematical Logic | Khan |
| Spring 2016 | MATH 454 | Axiomatic Set Theory | Khan |
| Spring 2017 | MATH 455 | Mathematical Logic | Ross |
| Spring 2018 | MATH 455 | Mathematical Logic | Khan |
| Fall 2019 | MATH 454 | Axiomatic Set Theory | Williams |
| Spring 2020 | MATH 455 | Mathematical Logic | Williams |
Future offerings:
| Semester | Course number | Course title | Instructor |
|---|---|---|---|
| Fall 2021 | MATH 454 | Axiomatic Set Theory | Kjos-Hanssen |
| Spring 2022 | MATH 455 | Mathematical Logic | TBA |
Faculty teaching in the program
David A. Ross, Professor
Bjørn Kjos-Hanssen, Professor