ABSTRAK Nama : Gilbert Hedison Program Studi : Sistem Informasi Judul : Audit pada Pemungutan Suara untuk Seleksi Pemenang Condorcet dengan Batasan Risiko Pemilihan adalah proses keputusan penting yang dapat mempengaruhi kehidupan kita secara signifikan. Penghitungan suara di pemilihan tidak bebas dari kesalahan manusia atau kesalahan mesin. Audit berfungsi untuk memverifikasi hasil pemilihan. Sebuah audit dengan batasan risiko memastikan audit memiliki peluang tinggi untuk mengonfirmasikan pemenang yang dilaporkan (jika pemenang yang dilaporkan memang betul) sebagai pemenang sesungguhnya dan mengoreksi hasil pemilihan (jika pemenang yang dilaporkan salah). Ballot-polling Risk-limiting Audits to Verify Outcomes (BRAVO) adalah audit dengan batasan risiko yang menguji sampel per kertas suara individu yang diambil secara acak (dari hasil pemungutan suara). Riset ini mendefinisikan prosedur audit pada pemungutan suara dengan batasan risiko untuk seleksi pemenang Condorcet. Riset ini melakukan eksperimen yang menunjukkan kalau BRAVO bisa digunakan untuk seleksi pemenang Condorcet. Riset ini juga menunjukkan efektivitas dan efisiensi dari prosedur audit. Selain itu, riset ini menunjukkan efek dari batasan risiko dan terhadap banyak kertas suara yang diperlukan di prosedur audit. Kata kunci: risk-limiting audit, ballot-polling audit, election, selection of Condorcet winner