Assistant Professor Farzana Nasrin has collaborated with the School of Life Sciences in a project to investigate genetic and metabolic components that may be related to repetitive behaviors that are common in people with autism. Their project received a five-year, $1.5M R01 National Institutes of Health/National Institute of General Medical Sciences grant.
This project will analyze complex sets of data (20,000 genes, 300 serum metabolites, and 1,000 gut microorganisms, as well as 3D-imaging of active neurons in fish brains). The team assumes that it is fair to use the fish project to predict the possible genetic and molecular pathways because humans and fish share more than 90% of gene and molecular pathways. These high dimensional data sets are challenging to visualize and analyze. However, by integrating topological mapping and statistical machine learning algorithms, the researchers are developing effective and flexible methods to analyze them with a limited amount of training samples.
Grad student Jack McKee is featured in UH News for his work on coding a package that models the interaction of heated droplets and unheated droplets.
The “Pacific Island Structured-Adaptive Mesh Refinement with Arbitrary Lagrangian-Eulerian” (PISALE) software was supported by a three-year, $591,000 grant from the U.S. Department of Energy. Alice Koniges is the Principal Investigator.
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.
During 2022-2023 the logic seminar had talks by outside speakers from Chiba, Yamaguchi, Wisconsin, and Belgrade.
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
Spring 2022
MATH 657
Computability and Complexity
Kjos-Hanssen
Fall 2022
MATH 654
Graduate Introduction to Logic
Kjos-Hanssen
Spring 2023
MATH 649B
Applied model theory
Ross
Future offerings:
Semester
Course number
Course title
Instructor
Spring 2024
MATH 657
Computability and Complexity
Kjos-Hanssen
Fall 2024
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: