Website https://people.math.wisc.edu/~jheim/
Website https://people.math.wisc.edu/~keisler/
Website https://people.math.wisc.edu/~kuelbs/
Website https://people.math.wisc.edu/~lempp/ Research Interest: Logic, in particular computability and its applications to model theory, proof theory and algebra.
Website https://people.math.wisc.edu/~meyer/