Pegah Rahmani dreams of mathematical proofs. Testing them is her day job.
“For a period, I was working on the proof all day and night. At night, when I was asleep, I’d think of something and when I woke up, I had ideas to test,” Rahmani said. “When I finally had the proof and saw the new axiomatization, it was beautiful.”