Igor Rivin Temple University We will discuss algorithms to check Zariski density and profinite density for classes of finitely generated subgroups. We also discuss generic phenomena.