          Agree & Join LinkedIn
        
  By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.

    King's College London•722 followers🚀 Our paper has been accepted at the 19th IEEE International Conference on Software Testing, Verification and Validation (ICST 2026).

📄 𝘛𝘰𝘸𝘢𝘳𝘥 𝘓𝘪𝘷𝘦 𝘕𝘰𝘪𝘴𝘦 𝘍𝘪𝘯𝘨𝘦𝘳𝘱𝘳𝘪𝘯𝘵𝘪𝘯𝘨 𝘧𝘰𝘳 𝘋𝘪𝘴𝘤𝘳𝘦𝘱𝘢𝘯𝘤𝘺 𝘈𝘯𝘢𝘭𝘺𝘴𝘪𝘴 𝘪𝘯 𝘘𝘶𝘢𝘯𝘵𝘶𝘮 𝘚𝘰𝘧𝘵𝘸𝘢𝘳𝘦 𝘌𝘯𝘨𝘪𝘯𝘦𝘦𝘳𝘪𝘯𝘨 🔗 https://lnkd.in/ehw2Mskw

Noise remains a fundamental obstacle to reliable quantum software — yet current models are often static, coarse, and misaligned with real system behaviour.

In this work, we introduce 𝒍𝒊𝒗𝒆 𝒏𝒐𝒊𝒔𝒆 𝒇𝒊𝒏𝒈𝒆𝒓𝒑𝒓𝒊𝒏𝒕𝒊𝒏𝒈, a lightweight and empirical approach to characterising noisy quantum systems.

Our key idea: → leverage 𝒄𝒍𝒂𝒔𝒔𝒊𝒄𝒂𝒍 𝒔𝒉𝒂𝒅𝒐𝒘 𝒕𝒆𝒄𝒉𝒏𝒊𝒒𝒖𝒆𝒔 to build compact, updatable fingerprints of noise → enable efficient comparison of quantum states and platforms (e.g., Qiskit vs Cirq) → support practical workflows for 𝒕𝒆𝒔𝒕𝒊𝒏𝒈, 𝒅𝒆𝒃𝒖𝒈𝒈𝒊𝒏𝒈, and 𝒄𝒓𝒐𝒔𝒔-𝒑𝒍𝒂𝒕𝒇𝒐𝒓𝒎 𝒗𝒂𝒍𝒊𝒅𝒂𝒕𝒊𝒐𝒏

We implement this vision in SIMSHADOW, showing that fingerprints: • capture structured, interpretable noise patterns • reveal systematic cross-platform discrepancies • correlate with observable divergences in program outputs

More broadly, this work bridges 𝒒𝒖𝒂𝒏𝒕𝒖𝒎 𝒊𝒏𝒇𝒐𝒓𝒎𝒂𝒕𝒊𝒐𝒏 𝒕𝒉𝒆𝒐𝒓𝒚 and 𝒔𝒐𝒇𝒕𝒘𝒂𝒓𝒆 𝒕𝒆𝒔𝒕𝒊𝒏𝒈, moving toward more reliable and portable quantum software systems. King’s College London•722 followersFaculty of Natural, Mathematical & Engineering Sciences King’s College London•722 followersCongratulations Elena, Karine, Sophie, Mohammad! Simula Research Laboratory•373 followersCongratulations, Avner! I hope to see you in Daejeon! 😉 To view or add a comment, sign in

    Inria•357 followersOur latest paper was accepted for ICST short papers, vision and emerging result track! 🥳

“Towards Live Noise Fingerprinting for Discrepancy Analysis in Quantum Software Engineering”

            PhD Candidate | Hybrid Quantum–Classical Architectures | Quantum Software Testability | King’s College London
        🚀 Our paper has been accepted at the 19th IEEE International Conference on Software Testing, Verification and Validation (ICST 2026).

Noise remains a fundamental obstacle to reliable quantum software — yet current models are often static, coarse, and misaligned with real system behaviour.

More broadly, this work bridges 𝒒𝒖𝒂𝒏𝒕𝒖𝒎 𝒊𝒏𝒇𝒐𝒓𝒎𝒂𝒕𝒊𝒐𝒏 𝒕𝒉𝒆𝒐𝒓𝒚 and 𝒔𝒐𝒇𝒕𝒘𝒂𝒓𝒆 𝒕𝒆𝒔𝒕𝒊𝒏𝒈, moving toward more reliable and portable quantum software systems. To view or add a comment, sign in

    Lockheed Martin•2K followersAfter more than 15 years of working in similar fields, this week marked a first—attending a conference together. (Having it right here in Halifax helped!)

At IEEE SYSCON 2026, Adam Weissman and I both had the opportunity to present and share perspectives from our respective corners of systems engineering.

I presented “Evolving Approaches to Requirements Management in Defence Programs: Balancing As-Built Fidelity and Forward-Looking Intent in the Era of Digital Engineering”, focusing on how we adapt requirements practices in increasingly complex, model-based environments.

Adam presented “From Blueprint to Reality: A Practitioner’s Method for SysML Hardware and Software Deployment Tracking”, bringing a practical lens to bridging design intent and real-world implementation.

With participants from over 27 countries across academia, industry, and government, it was inspiring to see where systems engineering is heading—and to learn from the breadth of perspectives shaping its future.

    To view or add a comment, sign in

    Cornell University•2K followersWhat is the best quantum SDK?

Different quantum Software Development Kits are built with very different priorities: some are education-first, some are hardware-first, some are machine-learning-first, and some are just research playgrounds.

If you want to cut through the noise, the most used options break down like this:

Table taken from this practical guide: https://lnkd.in/epVfNE-r To view or add a comment, sign in

    freederia•5K followersNew Post: ## Automated Verification of High-Performance Computing \(HPC\) Kernel Correctness via Dynamic Symbolic Execution & Multi-Modal Model Fusion - **Abstract:** This paper introduces a novel approach to automatically verify the correctness of computationally intensive kernels within High-Performance Computing \(HPC\) environments. Leveraging Dynamic Symbolic Execution \(DSE\) coupled with multi-modal model fusion \(combining static code analysis, runtime monitoring, and learned error prediction models\), we present a robust verification pipeline capable of detecting elusive corner-case errors that \[…\]
    To view or add a comment, sign in

    freederia•5K followers New Post: Efficient Parallel Proof Assembly for zk‑Rollup: Adaptive Circuit Pruning and Transaction Batching to Minimise Generation Latency and Gas Costs - **Abstract** Zero‑knowledge rollups \(zk‑Rollups\) transfer the bulk of transaction validation off‑chain while preserving succinct proofs on the main chain, yet the time to generate a valid zk‑SNARK can become a bottleneck for high‑throughput applications. We propose a practical framework that jointly optimises circuit design and transaction aggregation. Our contributions are: \(1\) a lightweight active‑resizing routine \[…\]

[Source & Legal Disclaimer] This is an AI-generated simulation research dataset provided by Freederia.com, released under the Apache 2.0 License. Users may freely modify and commercially use this data (including patenting novel improvements); however, obtaining exclusive patent rights on the original raw data itself is prohibited. As this is AI-simulated data, users are strictly responsible for independently verifying existing copyrights and patents before use. The provider assumes no legal liability. For future Enterprise API access and bulk dataset purchase inquiries, please contact Freederia.com. To view or add a comment, sign in

    freederia•5K followers New Post: Frequency‑Selective Ancilla‑Assisted Measurement‑Based Quantum Error Mitigation for Surface Code Architectures - **Abstract \(212 words\)** Reliable quantum computation hinges on the suppression of decoherence and operational noise. Surface code architectures offer high thresholds but still suffer from measurement‑induced error propagation, especially in large‑scale fault‑tolerant processors. We propose a measurement‑based quantum error mitigation scheme that employs frequency‑selective ancilla qubits to isolate and correct probabilistic leakage and dephasing errors \[…\]

    freederia•5K followersNew Post: Bayesian Program Analysis for Scalable Probabilistic Verification of Timing Constraints in Real‑Time Embedded Systems - — ### Abstract Real‑time embedded systems are increasingly deployed in safety‑critical domains, yet their verification remains a bottleneck due to complex concurrency, deterministic timing requirements, and the combinatorial explosion of state spaces. This paper introduces *Bayesian Program Analysis \(BPA\)*, a data‑driven approach that automatically learns probabilistic invariants and timing constraints from program execution traces and \[…\]
    To view or add a comment, sign in

    freederia•5K followers New Post: Adaptive Resource‑Efficient Scheduling for 15‑to‑1 T‑State Distillation on Surface‑Code Architectures - Abstract (235 words) Magic‑state distillation remains the dominant bottleneck for implementing non‑Clifford gates in fault‑tolerant quantum computers, particularly on surface‑code hardware where qubit overhead and execution latency directly impact logical‑error rate and throughput. We introduce an adaptive scheduling framework that maps the 15‑to‑1 Bravyi–Kitaev T‑state distillation protocol onto a fixed square logical‑qubit lattice while dynamically […]

    freederia•5K followers New Post: Geometric Phase‑Only Quantum Gate Design for Fault‑Tolerant Surface Code Architectures - *Advances in Quantum Information, 2025, Vol. 12, No. 4* — ### Abstract Fault‑tolerant quantum computing with surface codes requires a repertoire of logical gates that preserve computational integrity under realistic noise models. Conventional implementations of non‑Clifford gates rely on costly magic‑state distillation, whereas geometric phase gates offer a pathway to deterministic, hardware‑efficient operations. Here we present a \[…\]

    Kubex•10K followersThe pattern across all 3 phases is simple :  1. weights encoded knowledge in parameters (fast but rigid) 2. context staged knowledge in prompts (flexible but ephemeral) 3. harnesses externalized knowledge into persistent infrastructure (reliable and governable)

each phase didn’t replace the previous one. it layered on top. weights still matter. context engineering still matters. but the center of gravity has moved outward.

the most consequential improvements in agent reliability today rarely come from changing the base model.

they come from better memory retrieval, sharper skill loading, tighter execution governance, and smarter context budget management.

building better agents increasingly means building better environments for models to operate in.

there’s a great paper on this: Externalization in LLM Agents: A Unified Review of Memory, Skills, Protocols and Harness Engineering

i also published this deep dive (article) on agent harness engineering, covering the orchestration loop, tools, memory, context management, and everything else that transforms a stateless LLM into a capable agent: https://lnkd.in/e7M4CcmN To view or add a comment, sign in

        722 followers
      
                  Create your free account or sign in to continue your search
                
                  or
                
                  New to LinkedIn? Join now
                
  By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.