I am a Computer Science researcher with a background in programming languages and formal methods. I work on making sure mission-critical software does the right thing.
I am currently employed as a Research Scientist at Offchain Labs.
I am a Computer Science researcher with a background in programming languages and formal methods. I work on making sure mission-critical software does the right thing.
I am currently employed as a Research Scientist at Offchain Labs.