Courses Taken at USB

Contents

	Research Interests
	Research Papers
	Programming Projects
	Education
	Some Pictures
	Contact Information

CSE541

Logic in Computer Science

CSE533

Computer Network Communication Protocols

CSE540

Theory of Computation

CSE502

Computer Architecture

CSE505

Computing with Logic

CSE673-02

Seminar in Model Checking

CSE648

Advanced Algorithms

CSE537

Artificial Intelligence