Prompt
Create a realistic portrait of Dana Scott, a middle-aged man with a gentle expression, wearing a suit and tie, sitting in a library or office with mathematical equations and computer science texts in the background, reflecting his work in logic, automata theory, and domain theory.