Home
Publications
Experience
Projects

Nuno Machado

Software Engineer at Maze

Madrid, Spain
Email
Google Scholar
GitHub
LinkedIn

Cortex

Tool to discover latent concurrency bugs in Java multithreaded applications.

Tags: concurrency bugs, Java, SMT solving

Share on

Bluesky Facebook LinkedIn Mastodon X (formerly Twitter)

Follow:
GitHub
Feed

© 2026 Nuno Machado, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2026-05-21, Sitemap