Category Archives: Research

Screenshot 2023-12-07 at 6.16.41 AM

Erman’s invited address at Joint Meetings

Assistant Professor Daniel Erman will be giving a prestigious AMS Invited Address at the Joint Mathematics Meetings in San Francisco in January 2024. There will also be an AMS Special Session on Commutative Algebra and Algebraic Geometry (associated with Invited Address by Daniel Erman).

Thursday January 4, 2024, 2:15 p.m.-3:20 p.m.
AMS Invited Address
Organizers:
Michelle Ann Manes, American Institute of Mathematics
Introduction by:
David Eisenbud, MSRI
From Hilbert to Mirror Symmetry
Room 207, The Moscone Center
Daniel Erman*, University of Hawaii

Header image from https://www.youtube.com/watch?v=gxAjBkB7u2s

Screenshot 2023-10-30 at 10.56.11 AM

Nasrin’s NIH grant

press-release 2023ver2Assistant 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.

More at UH News.

455

Graduate & Undergraduate programs in mathematical 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.

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:

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
Fall 2021 MATH 454 Axiomatic Set Theory Kjos-Hanssen
Spring 2022 MATH 455 Mathematical Logic Ross

Future offerings:

Semester Course number Course title Instructor
Fall 2023 MATH 455 Mathematical Logic Kjos-Hanssen

Faculty teaching in the program

David A. Ross, Professor
Bjørn Kjos-Hanssen, Professor

455