معادله دریک یک فرمول ریاضی است که سعی دارد تعداد تمدن‌های هوشمندی را که ممکن است در کهکشان راه شیری وجود داشته باشد تخمین بزند. این به جستجوی حیات فرازمینی با ارائه چارچوبی برای تفکر در مورد احتمال یافتن تمدن‌های دیگر مربوط می‌شود.