Senior Research Engineer @ Runtime Verification Inc. working on formal modeling and verification of blockchain and distributed systems
