Rami Grossberg is a full professor of mathematics at Carnegie Mellon University and works in model theory.