Stephanie Weirich aka. : Have gained a huge amount of understanding from following her research contributions in dependent types, polymorphism, type-directed programming, and variable binding. Check out her awesome, inspiring research statement: cis.upenn.edu/%7Esweirich/we
Quote Tweet
Men of Twitter, is there a woman that you look up to in your own field or in another one? Who is she and why does she inspire you? 
