Computational Social Science, Social Media, Coordinated Campaigns, Misinformation, Polarization
reasoning, understanding implicit meaning, improving reasoning in real-world texts (dialogues, argumentation, text-based games)
ML for interative theorem proving, automated reasoning, neuro-symbolic methods, AI for Math
supervisors: Tiejun Ma, Shay Cohen
supervisors: Martin Corley, Patrick Sturt
supervisors: Tiejun Ma, Luis Costa Sperb
supervisors: Zachary Horne, Martin Pickering
supervisor: Shay Cohen
supervisors: Tiejun Ma, Sotirios Sabanis
