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
I learned that research in the Theory Track of the accounting discipline primarily is about mathematical modeling of the effects of government policies and business decisions. It borrows methods from economics for such modeling. In the case of the Corona-Kim paper: quadratic programming without constraints, and exponential utility functions. Usually these are not empirical papers, i.e., they don’t test the model explicitly against data. Indeed this would be hard to do with notions like “intensity of scrutiny”.
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
