This course gives an introduction to the mathematical foundations of computation. The course will look at Turing machines, universal computation, the Church-Turing thesis, the halting problem and ...
Software Construction is based on the premise that: programs are written for people, not computers. Accordingly, the course focuses on the design and implementation of maintainable programs and how to ...
This course focuses on the exploration, construction and analysis of multi-agent models. Sample models from a variety of content domains are explored and analyzed. Spatial and network topologies are ...
Biophotonics research focuses on the development of optical imaging and sensing technologies to study biomolecule, cell, and tissue structure and function at nanoscopic and microscopic scales. The ...