Trong khoa học máy tính, một máy ảo (VM) là một trình giả lập một hệ thống máy tính. Máy ảo dựa trên kiến trúc máy tính và cung cấp chức năng của máy tính vật lý. Việc triển khai của chúng có thể liên quan đến phần cứng, phần mềm chuyên dụng hoặc kết hợp. Có nhiều loại máy ảo khác nhau, mỗi loại có chức năng khác nhau:
Máy ảo hệ thống (còn được gọi là máy ảo ảo hoá hoàn toàn) cung cấp một sự thay thế cho một máy thật. Chúng cung cấp chức năng cần thiết để thực thi toàn bộ hệ điều hành. Một trình ảo hóa sử dụng thực thi riêng để chia sẻ và quản lý phần cứng, cho phép nhiều môi trường được cách ly với nhau, nhưng vẫn tồn tại trên cùng một máy vật lý. Các siêu giám sát hiện đại sử dụng ảo hóa hỗ trợ phần cứng, phần cứng dành riêng cho ảo hóa, chủ yếu từ các CPU chủ. Máy ảo tiến trình được thiết kế để thực thi các chương trình máy tính trong môi trường độc lập với nền tảng. Một số máy ảo như QEMU, được thiết kế để mô phỏng các kiến trúc khác nhau và cho phép thực thi các ứng dụng phần mềm và hệ điều hành được viết cho CPU hoặc kiến trúc khác. Ảo hoá cấp hệ điều hành cho phép các tài nguyên của máy tính được phân vùng thông qua kernel. Các nhóm không thể thay thế cho nhau.