![]() |
|||
![]() |
|||
about the programhow to applyprojectsmeet our facultylife@fairfieldcontact us
|
Projects 2012
Static program analysis encompasses a wide family of techniques for determining properties of programs without running them, which are valid for all possible execution traces of the program. While correct static analysis is always sound with respect to program semantics, it is almost always incomplete (and hence imprecise), a necessary price that is paid to guarantee termination of the analysis. more...
Lake Lillinonah, the second-largest lake in Connecticut, was created in 1955 when a dam was built for hydroelectric power. The lake is a popular recreational space known for its bass fishing and water skiing. However, the health of the lake is threatened by an over-abundance of algae bloom. more...
Are you a human? Who are you? Are you who you claim to be? In this project we will research CAPTCHAs, HIPs, graphical passwords, and biometrics, and their use in computer security. more...
Knot theory has surprising applications to physics, biology, chemistry and many branches of mathematics. Knot theory has been revolutionized in recent decades by the discovery of a number of powerful and mysterious invariants, such as the Jones Polynomial and its more complicated cousin Khovanov Cohomology. more...
This material is based upon work supported by the National Science Foundation and the Department of Defense under Grant No. 1004346. |
||
|
|||
Fairfield University | Department of Mathematics & Computer Science | Bannow 21 | Fairfield, CT 06824 | 203.254.4000 ex.2515