Dfg 2023
DFG Project ATLaS: Abstract Techniques for Programming Languages and Secure Compilation (~700K EUR) granted! The PIs are Sergey Goncharov and myself.
DFG Project ATLaS: Abstract Techniques for Programming Languages and Secure Compilation (~700K EUR) granted! The PIs are Sergey Goncharov and myself.