Computer Laboratory

Shaked Flur

Ph.D. student under the supervision of Peter Sewell at the Computer Laboratory of the University of Cambridge, working on the REMS project.

Research interests

My passion is rigorous engineering, bridging between the mathematical world and the real world, finding practical use for formal mathematics. My current research establishes formal semantics for computer architectures (ARM, RISC-V and Power), targeting multi-threaded systems. The semantics abstracts from microarchitecture features, such as speculative and out-of-order execution, and captures precisely all the valid executions. I am interested in how such semantics can be lifted to be used in system engineering, verification and testing.