Help & Supportcareers@gravityer.com
@mizziburlo tech lead. phd in CS w/ focus on APIs.
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
Gran Sasso Science Institute
Frontend Developer
June 27, 2026 – Present
llmcontract-playwright-mcp
May 5, 2026 – Present
Case study: agents driving @playwright/mcp violate the canonical snapshot-then-interact pattern in 9-29% of runs (model-dependent). Companion to llmcontract-tau2 — covers the agent↔tool layer.
View Projectllmcontract-tau2
May 5, 2026 – Present
Standalone replay of tau2-bench trajectories through llmcontract — quantifies how often agents pass tau2's outcome eval while violating the documented policy
View Projectllmcontract
April 23, 2026 – Present
Runtime monitor for LLM agent interaction protocols based on session type theory
View Projectcots-artefact
March 8, 2024 – March 9, 2024
This is the repository for COTS, a model-based testing tool for RESTful applications.
View Projectecoop2021-artifact
April 16, 2021 – April 17, 2021
A monitor synthesis tool for session types.
View Projectstmonitor
February 24, 2020 – December 22, 2021
A monitor synthesis tool for session types.
View Projectdiscotec.github.io
July 13, 2018 – Present
The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques
View ProjectCultural Fit Analysis
The candidate's project history is heavily skewed towards academic research and personal projects, with a strong emphasis on backend, scripting, and theoretical computer science topics. While there is one listed 'Frontend Developer' role, it is current and has no associated skills or description, making it difficult to assess actual frontend experience. The project 'discotec.github.io' uses HTML and SCSS, which are frontend technologies, but the overall portfolio does not strongly align with a typical 'Frontend Developer' profile focused on modern frameworks, UI/UX, or client-side interactivity. This suggests a potential mismatch with a dedicated frontend role.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. The candidate's project descriptions are concise and technically focused, but do not provide insight into collaboration, problem-solving approaches, or communication style.