Dimitris Simos @ HVC17 in Haifa
Today at the 13th Haifa Verification Conference [HVC] Dimitris Simos is invited to give a tutorial on Combinatorial Security Testing. HVC is organized by IBM Research Haifa.
News
SBA Newsletter
SBA Research at a glance
Out now: Two heise articles on LLM
Alexander Schatten, senior researcher at SBA Research and Marco Reiser published an interesting article on "What programming at prompt level leads to". Where can AI systems really help programmers and is the approach taken here really new? This article takes a look at their role. ... ∞
Dimitris Simos Receives the ACA-ERA Award
We are thrilled to announce that, Dimitris Simos (Key Researcher, MATRIS lead, and Head of Strategic Research) has… ∞
New heise article on AI Assistants and LLMs
Michael Koppmann, senior information security consultant and Alexander Schatten, senior researcher at SBA Research, published an interesting article regarding KI Assistants and LLMs and how to check the code quality on heise online. ... ∞