The information in this page may be outdated, as Julián Samborski-Forlese is currently not a member of the Institute.
Applications of Formal Methods and Abstract Interpretation to Program
Verification; Quantum Computing; Functional Programming Languages;
Semantics.
