Michael A. Arbib is a Professor of Computer Science, as well as a Professor of Biological Sciences, Biomedical Engineering, Electrical Engineering, Neuroscience and Psychology at the University of Southern California (USC). He has used category theory extensively in his work on computer science and brain function.