Hoang Giang Share
Janusz
办美国文凭加拿大文凭澳洲文凭英国文凭学位证毕业证成绩单
Veinas bọt EPE máy móc
Wendy Ye
The YouTube channel for the Lab for AI Verification and the AISEC project.
LAIV is a team of researchers working on a range of inter-disciplinary problems that combine AI, formal verification and programming languages. We seek to answer questions like How do we establish safety and security of AI applications?, What are the mathematical properties of AI algorithms?, How can types and functional programming help to verify AI?, How can we verify neural networks and other related machine-learning algorithms?, How can machine learning improve software verification?, etc.
The Lab was established in 2019, with the initial intent to provide a local hub where researchers and research students from the Edinburgh Center for Robotics and the National Robotarium can meet with Computer Scientists, Logicians and Programming Language experts interested in verification of AI.
