fˈoːɹmən ɪz wˈɜːkt ɪn ˌæplɪkˈeɪʃənz ʌv lˈɑːdʒɪk ɪn kəmpjˈuːɾɚ sˈaɪəns, ˌɑːɹɾɪfˈɪʃəl ɪntˈɛlɪdʒəns, ænd kˈɑːɡnᵻtˌɪv sˈaɪəns mˈoːɹ spəsˈɪfɪkli, fˈɔːɹməl mˈɑːdəlz ʌv dˈɪdʒɪɾəl sˈɪstəmz, sˈɪstəm dɪzˈaɪn tˈuːlz, pɹˈuːf ɐsˈɪstənts, kˌæɾɪɡˈɔːɹɪkəl səmˈæntɪks ænd pɹˌɑːpəzˈɪʃənəl plˈænɪŋ.
Fourman is worked in applications of logic in computer science, artificial intelligence, and cognitive science – more specifically, formal models of digital systems, system design tools, proof assistants, categorical semantics and propositional planning.