Anita Moyasari Amnieh

简介

Anita is a research and teaching assistant in the School of Computer Science at Sheffield, where she is also doing a PhD under the joint supervision of Dr Charles Grellois and Dr Harsh Beohar.She completed her MSc in Mathematical Logic and Fundamental Computer Science at Université Paris Cité and her BSc in Mathematics at Sharif University of Technology. Anita is now a member of the Foundations of Computation (FOX) research group, where her research mostly focuses on termination analysis of programs and decidability, but she is also interested in other branches of automata and computability theory.