Triumph thời gian chính tại Amazon cho người đứng đầu khoa keo nha cai 5 máy tính của MDX

Lý luận tự động là khả năng của các máy tính để thực hiện các khoản khấu trừ logic. Một dự án quan trọng cho nhóm là tạo ra các công cụ xác minh - một ứng dụng của lý luận tự động, để kiểm tra các chương trình máy tính làm những gì họ phải làm - để cung cấp cho các nhà phát triển sự tự tin hơn về mã họ viết. Sự phức tạp của ứng dụng Video Prime, về số lượng thành phần được phát triển bởi các nhóm độc lập khác nhau và phạm vi cấu hình phần cứng khổng lồ mà nó cần chạy trên làm cho nó trở thành một trường hợp đặc biệt khó khăn cho lý luận tự động.

Franco và các đồng nghiệp đã phát triểnBugbear lý luận tự động, tiến hành đánh giá mã tự động, cung cấp phản hồi trong vòng 15 phút, xác định cả vấn đề chung và vi phạm các thuộc tính kinh doanh cụ thể của video. Trong một phi công, Bugbear đã xác định các vấn đề tiềm năng trong khoảng 100 trên hơn 1000 đánh giá mã tự động. Các nhà phát triển coi 80% trong số này có liên quan.

Dựa trên công việc của anh ấy với Amazon Prime Video, Franco nói: Các giả định ẩn là một nguồn lỗi phổ biến trong phần mềm, đặc biệt là trong các tổ chức lớn. Thiếu sự rõ ràng xung quanh ranh giới của các thành phần và thiếu hiểu biết về những giả định đằng sau mỗi thành phần có thể dẫn đến trải nghiệm khách hàng tiêu cực.

Nhóm Nhóm lý luận tự động Video hoạt động để trao quyền cho khách hàng Amazon với khả năng xác định giao diện giữa các thành phần có hợp đồng kiểm tra công cụ mạnh mẽ. Tôi rất ấn tượng với các kỹ năng của tôi.

Trước khi gia nhập MDX vào năm 2009, Franco đã có mặt tại Imperial College London, King, College London và UCL, và ông đã hợp tác với một số công ty và trung tâm nghiên cứu trên toàn thế giới bao gồm NASA Ames. Ông trở thành phó giáo sư về logic và xác minh tại MDX năm 2013, và Giáo sư Khoa keo nha cai 5 Máy tính năm 2016.

Trưởng khoa Khoa Khoa keo nha cai 5 và Công nghệ, Giáo sư Balbir Barn nói: "Khoa Khoa keo nha cai 5 Máy tính của Middlesex luôn khuyến khích các keo nha cai 5 giả tìm thấy nghiên cứu và thực hành của họ về các yêu cầu liên quan đến kinh doanh.

"Ngoài giáo sư Raimondi, Sabbatical tại Amazon, các keo nha cai 5 giả MDX đã dành thời gian tại Facebook Research và Samsung Research Labs. Thông qua các cam kết này, sinh viên khoa keo nha cai 5 máy tính có thể thực sự hiểu rằng môn keo nha cai 5 của họ là về vấn đề giải quyết vấn đề lớn.

Hình ảnh chính: Một cảnh trong Spike Lee'sLàm đúng, một trong những bộ phim hay nhất của New York Times trên Amazon Prime Video Picks cho tháng 1 năm 2022

Khoa nhận định keo nha cai và tin nhận định keo nha cai máy tính