Jon Aytac -

Registered user since Thu 30 May 2019

Name:Jon Aytac

Country:United States

Affiliation:Sandia National Laboratories

Research interests:Programming Language Theory, Formal Methods, Machine Learning, Quantum Computing, Artificial Intelligence

Contributions

2026

SSNL

2025

LAFI

Author of Reasoning About Sampling Without Sampling: Atomic Machines for Contextual Equivalence in Probabilistic Programs within the LAFI 2025-track

2024

LAFI

Author of Towards a Categorical Model of the Lilac Separation Logic within the LAFI 2024-track

2022

FTSCS

Author of Q: A Sound Verification Framework for Statecharts and Their Implementations within the Formal Techniques for Safety-Critical Systems-track