This $7,705 grant from Decision Research Corporation will support work by undergraduate students, a grad student, and PI in their work on the automatic complexity of Fibonacci arrays, while exchanging knowledge between industry and the University.
Please watch this space for more information.
Professor David Ross is the current Editor-in-Chief of the Journal of Logic and Analysis.
This is an open-access journal for Mathematical Logic and Analysis.
Editorial board:
A. Berarducci
N. Cutland
M. Di Nasso
W. Henson
K. Hrbacek
Renling Jin
A. Kechris
J. Keisler
B. Kjos-Hanssen
T. Lindstrøm
P. Loeb
A. MacIntyre
D. Ross
Yeneng Sun
Course title: “Recursive functions and complexity”
Textbook title: “A second course in formal languages and automata theory” by J. Shallit
Despite the intimidating titles this is just a graduate introduction to automata, computability, and complexity.
Possible additional topics: Automatic complexity and Python programming.
At the Association for Symbolic Logic Annual Meeting at CUNY Graduate Center in Manhattan, NY, I gave a talk in the Special Session on Computability Theory on joint work with Lu Liu.
Slides are available.
Professor of Mathematics, University of Hawaii at Manoa