Tag Archives: featured

$map1$

Recent talks

April 8, 2021 admin Leave a comment

In Spring 2021 I have a talk at the New England Recursion and Definability Seminar. In Fall 2021 I gave an invited talk in the workshop Automata Theory and Applications. In Fall 2021 I will speak in the Penn State Logic Seminar.

$final_606fedbcf8165f00fb8d9c00_638817$

conferences, research

Connecting with computability

April 8, 2021 admin Leave a comment

Two new papers accepted

with graduate students Birns (left) and Webb (right).

KL-randomness and effective dimension under strong reducibility (with David J. Webb). Computability in Europe, Lectures Notes in Computer Science, 2021.
On the degrees of constructively immune sets (with Samuel D. Birns). Computability in Europe, Lectures Notes in Computer Science, 2021.

$Isabelle_jedit$

teaching

MATH 454 Fall 2021

February 4, 2021 admin Leave a comment

Watch this space for updates on the undergraduate course MATH 454 (Axiomatic Set Theory).
Textbook: Schimmerling’s “A course on set theory”

A similar course at the graduate level was MATH 654 Fall 2020, which had the following readings:

Foundations of Mathematics, Kenneth Kunen, parts of chapters I-IV.
Modal logic for open minds, Johan van Benthem, some of chapters 1-11 and 16.
Logic and Proof, Lean tutorial, and The Natural Number Game

$Screen Shot 2020-11-17 at 6.51.24 PM$

research

Connecting Normalized Information Distance and Jaccard distance

November 17, 2020 admin 1 Comment

I gave a talk in the online seminar “Computability Theory and Applications” on November 17, 2020, on Normalized Information Distance and Jaccard distance.

$download_20190921_200022$

conferences, research

Computability and Automatic Complexity

May 26, 2020 admin Leave a comment

This new 42,000 USD grant from the Simons Foundation will support travel and collaboration during 2020-2025.

Pictured: Angsheng Li announcing TAMC 2020 in Changsha, China during TAMC 2019 in Kitakyushu, Japan.

$DRC Logo$

research

Automatic complexity of Fibonacci arrays

February 17, 2020 admin Leave a comment

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.

$venn1$

editorial board

Journal of Logic and Analysis

January 9, 2020 admin Leave a comment

Professor David Ross is the current Editor-in-Chief of the Journal of Logic and Analysis. $homeHeader$ 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

$isaim2020$

conferences, research

VC-dimensions for nondeterministic finite automata

November 2, 2019 admin Leave a comment

The paper was accepted for the International Symposium on AI and Mathematics 2020.

Bjørn Kjos-Hanssen

Tag Archives: featured

Recent talks

Connecting with computability

Two new papers accepted

MATH 454 Fall 2021

Connecting Normalized Information Distance and Jaccard distance

Computability and Automatic Complexity

Automatic complexity of Fibonacci arrays

Journal of Logic and Analysis

VC-dimensions for nondeterministic finite automata

Professor of Mathematics, University of Hawaii at Manoa