파일:Attachment/qedeva.jpg
Q.E.D. 증명종료의 등장인물.
토마 소의 MIT 동기인 여성. 원작에서는 까무잡잡한 피부였지만 실사판에서는 백인으로 설정이 변했다.
정보 공학을 전공중이며, 로키의 파트너로 수학적 이론을 프로그램에 접목시키고 있는 듯 하다. 꽤나 재능있는 프로그래머지만 성격은 소심. 그래도 로키와 사이는 좋다.
로키와는 친구관계를 넘어 좋아하는 것 같지만, 토마와 로키 두 천재가 함께 있으면 비극이 일어날 거라고 생각해 큰 사건을 하나 벌이게 된다. 토마의 졸업 논문을 몰래 파기해버린 것. 토마가 용서해줘서 유야무야 되긴 했지만.
