Nuno Machado's Homepage
Publications
CV
Projects

Nuno Machado

Nuno Machado

Software Engineer at Maze

Madrid, Spain
Email
LinkedIn
Github
Google Scholar

Cortex

Tool to discover latent concurrency bugs in Java multithreaded applications.

Tags: concurrency bugs, Java, SMT solving

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2026 Nuno Machado. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.