

Software Safety and Security
The course covers fundamental program analysis techniques based on types and logics to identify illicit behavior, verify its absence, and explore tools that implement these techniques. Course will start when the number of participants is sufficient.




































