Study of the origin, evolution, and distribution of life in the universe — habitability, biosignatures, extremophiles, prebiotic chemistry. Active NASA-funded interdisciplinary field at the intersection of biology, chemistry, and planetary…
astrobiology
Habitable zone
Orbital region around a star where surface liquid water is possible on a rocky planet given plausible atmospheric CO₂. For a Sun-like star,…
Biosignature
Observable feature (chemical, morphological, isotopic, spectral) whose presence is a plausible indicator of life. Atmospheric: O₂/O₃ + CH₄…
Extremophile
Organism thriving in 'extreme' conditions by Earth norms: thermophile >60°C (Pyrolobus fumarii at 113°C), psychrophile <15°C, halophile…
Abiogenesis hypotheses
Classes: primordial soup (Miller–Urey 1953); RNA world (self-replicating ribozymes); metabolism-first (acetyl-CoA / hydrothermal-vent…
Mars habitability
Evidence of past liquid water (Gale crater lake-bed sediments, Jezero delta); sub-surface radar signatures of brines; methane detections…
Europa/Enceladus ocean worlds
Icy-shell moons with sub-surface liquid-water oceans inferred from induced magnetic fields (Europa) and active plumes (Enceladus).…
Drake equation
N = R* · f_p · n_e · f_l · f_i · f_c · L: expected number of communicating civilisations in our Galaxy as a product of astrophysical (R*,…
Fermi paradox
Given Galaxy's age (~13 Gy) and likely prevalence of habitable worlds, why is there no observable evidence of extraterrestrial…
Kasting HZ: r=√(L*/(L_⊙S_eff)); T_eq=T_⊙√(R_⊙/2a)(1−A)^(1/4)
Kasting habitable-zone framework — the canonical radiative-equilibrium model of the circumstellar region where liquid water can exist on a…
Drake log-CLT: log N = Σ log(factor); 7-term sum; product-of-iids asymptote
Drake log-CLT framework — the canonical statistical-interpretation framework of the Drake equation as a product of independent random…
Biosignature Bayesian evidence: P(life|d)=P(d|life)P(life)/P(d); Bayes factor
Biosignature Bayesian-evidence framework — the canonical Bayesian framework for interpreting exoplanet/exoatmosphere biosignature…
Kasting theorem: r_HZ; T_eq=T_⊙√(R_⊙/2a)(1−A)^(1/4); F_HZ=L_⊙S_eff/4π; dT/da
Sympy-exact symbolic witness of the Kasting habitable-zone canonical identities. Setup: L_*, L_⊙, S_eff, T_⊙, R_⊙, a_orb, A_alb, S_in,…
Drake theorem: N=R*·f_p·n_e·f_l·f_i·f_c·L; log N = Σ 7 log-terms; σ_tot=√7·σ_i
Sympy-exact symbolic witness of the Drake equation log-CLT canonical identities. Setup: R_star, f_p, n_e, f_l, f_i, f_c, L, sigma_i — all…
Biosig theorem: posterior; Bayes factor B=P_d_life/P_d_abio; log O update; uniform prior
Sympy-exact symbolic witness of biosignature Bayesian-posterior canonical identities. Setup: P_d_life, P_life, P_d_abio, O_prior — all…
HZ (Kasting 1993)
Kasting 1993 + Kopparapu 2013 conservative + optimistic habitable zone; modern N-flexible HZ Pierrehumbert 2011.
Biosignatures (Meadows 2018)
Meadows-Arney 2018 NASA biosignature-framework; modern false-positive O2 + CH4 disequilibrium signatures.
Icy moons
Cassini-Galileo Europa-Enceladus-Titan subsurface-oceans; modern Europa-Clipper 2024 + JUICE 2031.
Technosignatures (Wright 2018)
J Wright 2018 + NASA-Technosignatures 2024 framework; modern 8-axis technosignature search.
ALH84001 (McKay 1996)
D McKay 1996 ALH84001 putative-Mars-fossils Science; modern abiogenic-magnetite alternative; cautionary tale.
Miller-Urey (1953)
S Miller-H Urey 1953 prebiotic-amino-acid; modern Bada 2008 reanalysis + Sutherland 2009 ribonucleotide synthesis path.
SETI (Cocconi-Morrison 1959)
G Cocconi-P Morrison 1959 SETI; modern Breakthrough Listen + 2024 BLC1-Proxima-source candidate excluded + 21cm windows.
Drake equation detail (1961)
F Drake 1961 N=R*×fp×ne×fl×fi×fc×L; modern modern Vakoch refinement + Frank-Sullivan 2016 minimum-civilizations argument.
Biosignature (Meadows 2018)
V Meadows 2018 biosignature-framework; modern modern N2-O2-CH4-H2O joint disequilibrium + JWST exoplanet-search 2022+.
Extremophile (Stetter 1982)
K Stetter 1982 hyperthermophile Pyrolobus 113°C; modern radiation + acid + cold + pressure + dry-tolerance limit-of-life.
RNA world (Gilbert 1986)
W Gilbert 1986 RNA-world hypothesis; modern abiotic-RNA + Sutherland 2009 prebiotic ribonucleotide + Robertson-Joyce 2014.