Category Archives: Graduate news

venn1

Graduate Program 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.

We are offering the following course rotation (courses repeating after two years):

Semester Course number Course title Instructor
Fall 2015 MATH 649B Graduate Seminar Kjos-Hanssen
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

It is also recommended that students familiarize themselves with undergraduate level logic, which is offered on the following schedule:

Semester Course number Course title Instructor
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 Beros

Faculty teaching in the program

David A. Ross, Professor
Bjørn Kjos-Hanssen, Professor
Mushfeq Khan, Temporary Assistant Professor 2014-2017
Achilles Beros, Temporary Assistant Professor 2015-2017

Marriott’s doctoral defense

O1_to_O2
John Marriott, a student of Prof. Monique Chyba, will defend his doctoral dissertation on September 5.

Abstract

This work addresses the contrast problem in nuclear magnetic resonance as a Mayer problem in
optimal control. This is a problem motivated by improving the visible contrast in magnetic resonance
imaging, in which the magnetization of the nuclei of the substances imaged are first prepared by
being set to a particular con figuration by an external magnetic field, the control. In particular we
examine the contrast problem by saturation, wherein the magnetization of the first substance is
set to zero. This system is modeled by a pair of Bloch equations representing the evolution of the
magnetization vectors of the nuclei of two di fferent substances, both influenced by the same control
field.
More…