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: