Marek Chalupa
United Kingdom
Bio
Updated 05/18/26Computer scientist affiliated with Zeroth Research, working on program analysis and formal verification, including dynamic partial order reduction, symbolic execution, and runtime monitoring tools.
Community Signal
Updated 05/18/260Upvotes
0Downvotes
0Endorsements
No endorsements yet.
Links
Updated 05/18/26- Personal Website
- -
- -
- Twitter / X
- -
- LessWrong
- -
- EA Forum
- -
Grants
Updated 05/18/26No grants recorded.