 |
Paul Bui Computer Science Teacher Washington-Lee High School 1301 N. Stafford St. Arlington VA 22201 Office: Room 4209 E-mail: 
Phone: 703.228.6200 This picture was taken while backpacking Europe, specifically, right outside of St. Peter's Basilica in Vatican City. The image is blurry because the photographer was hiding when he took the picture. |
| Interests |
|
|
| Teaching |
|
Computer Science I
IB Computer Science I IB Computer Science II Visual Basic |
| Biographical Sketch |
| Paul received his B.S. (2004) and M.E. (2006) in Computer Engineering from the University of Virginia. He joined the Washington-Lee High School faculty in the fall of 2006 as a Computer Science teacher. As an undergraduate and graduate student in UVA's School of Engineering and Applied Science, Paul was a teaching assistant for the Computer Science department. He TAed CS101, CS201, CS216, and CS453 for four years, which inspired him to pursue a career in teaching. |
| Research |
| Paul's undergraduate thesis researched boolean satisfiability (SAT), the process of determining whether or not a solution exists for a given boolean expression. His thesis designed a distributed SAT solver, using the SCR specification language. As a graduate student, Paul's research focused on authentication and web services security, specifically smartcard authentication and .NET web services. |