David Biris

At Frequentis, I build safety-critical Java software for air traffic controllers at Maastricht Upper Area Control Centre, one of Europe’s busiest airspaces.

I've authored and refined 500+ formal software requirements, working directly with clients to turn ambiguous needs into precise, verifiable aviation specifications. I implement controller-facing interfaces and message-based data integrations using AMQP, Protocol Buffers, and TCP, with automated reconnection and visible interface health.

I verify work end to end through JUnit, Mockito, integration testing, Robot Framework, and CI traceability from requirements to tests.

Alongside aviation software, I've independently shipped a co-op multiplayer PC game on Steam and four mobile games on Google Play. My applied AI research includes published work on LLM hallucination mitigation and AI-generated text detection.