Artem is an engineer in Architecture Formal team, where his mission is to extend the memory-model tools: that is, to model new features of the Arm architectures, study their impact on memory consistency and encode it in executable semantics. Artem got his PhD from IMDEA Software Institute and was a postdoctoral fellow at Tel Aviv University researching correctness and security of multicore programming.