
ヘレナ・ラシオワ (1917年~1994年) は数学者であり、代数的論理学、理論計算機科学、人工知能の先駆者だった。ワルシャワ大学に入学し、第二次世界大戦中は地下で研究を続けた。ワルシャワ蜂起で修士論文を失い、1945年にアンドレイ・モストフスキの指導で再提出し、博士号を取得。ポスト、ストーン、タルスキ、ウカシェヴィチなどの優秀な科学者と共に働き、数学的論理学の先駆者となった。ラシオワは100本以上の論文を発表し、彼女の研究は人工知能や計算機科学の基礎となった。「Fundamenta Informaticae」(ファンダメンタ・インフォルマティケ)誌を創設し、20名以上の博士候補生を指導した。生涯研究を続け、亡くなる直前までに新たな論文に取り組んでいた。その業績は現代の計算機科学と論理学に今も影響を与えている。