Anita Moyasari Amnieh
School of Computer Science
Research and Teaching Assistant
Full contact details
School of Computer Science
Regent Court (DCS)
211 Portobello
ºù«Ӱҵ
S1 4DP
- Profile
-
Anita is a research and teaching assistant in the School of Computer Science at ºù«Ӱҵ, 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.
- Research interests
-
Anita's main interests are computability, recursion and automata theory and she likes to combine them with other areas, such as probability or graph theory.
- Research group