Explores dynamic functional connectivity methods in fMRI, emphasizing the identification of multiple brain states and their applications in understanding brain disorders.
Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.
