Safe Artificial Intelligence
challenges: (1) Empowerment of humans to design, understand, control and verify intelligent systems. (2) Development of verifiable intelligent systems that include mathematical guarantees, formal specification [...] will aim to admit students with Bachelor degrees in the following directions (1) Computer Science, (2) Mathematics, (3) Computer engineering, (4) Physics, and (5) Statistics. Students should demonstrate [...] an elite program , and, therefore, would target to admit students with Bachelor Grade no worse than 2,3. Additionally, students should demonstrate their interest and capability by submitting a scientific …