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