Computer Science Student Club

MSc Theses

Students in Computer ScienceA Novel Image Segmentation Method based on Energy Minimization with an Application to Cardiac PET Image Segmentation, by Gong
Cheng, August 2015 (supervisor: Madjid Allili).

Computation Tree Logic Is Equivalent to Failure Trace Testing by A. F. M. Nokib Uddin, July 2015 (supervisor: Stefan D. Bruda)

The “ptrace” Solution to Stack Integrity Attacks in GNU/Linux Systems by Erick Leon, May 2015 (supervisor: Stefan D. Bruda)

Toward a Model Checker for Ambient Logic Using the Process Analysis Toolkit by Yujie Sun, January 2015 (supervisor: Stefan D. Bruda)

Parallel Communicating Grammar Systems with Context-Free Components Are Really Turing Complete by Mary Sarah Ruth Wilkin, November 2014 (supervisor: Stefan D. Bruda)

An Approach to Stack Overflow Counter-Measures Using Kernel Properties by Benjamin Teissier, November 2013 (supervisor: Stefan D. Bruda)

A Distributed Architecture for Remote Service Discovery in Pervasive Computing by Farzad Salehi, December 2011 (supervisor: Stefan D. Bruda)

Fast polygonal Approximation of Height Fields and Application to Interactive Visualization and Watershed Segmentation by Yan Chen, July 2011 (supervisors: Madjid Allili and Layachi Bentabet)

Bayesian Image Matting Using Infrared and Color Cues by Hui Zhang, May 2011 (supervisor: Layachi Bentabet)

Fuzzy Logic Techniques for Matting Using Infrared and Color Image by Guodong Gao, April 2011 (supervisor: Layachi Bentabet).

A Testing Framework for Real-Time Specifications by Chun Dai, January 2009 (supervisor: Stefan D. Bruda).

Commmmunicating Visibly pushdown Processes by Md. Tawhid Bin Waez, December 2008 (supervisor: Stefan D. Bruda).

Model Checking is Refining—Computational Temporal Logic is Equivalent to Failure Trace Testing by Zhyiu Zhang, December 2008 (supervisor: Stefan D. Bruda).

The Relationship Between Several Parallel Computational Models by Yuanqiao Zhang, December 2008 (supervisor: Stefan D. Bruda).

Multiple Target Tracking in Cluttered Scene by Yi Sun, August 2007 (supervisor: Layachi Bentabet).

Current graduate students

Gong Cheng (
Andrew Enughwure (
Xi Li (
Davidson Madudu (
Tegan Maharaj (
Umair Naushahi (
Sunita Singh (


A.F.M. Nokib Uddin (MSc, 2015) (
Erick Leon (MSc, 2015) (
Yujie Sun (MSc, 2015) (
Mary Sarah Ruth Wilikin (MSc, 2014) (
Benjamin Teissier (MSc, 2013) (
Farzad Salehi (MSc, 2011)
Yan Chen (MSc, 2011)
Guodong Gao, (MSc, 2011)
Hui Zhang (MSc, 2011)
Md Tawhid Bin Waez (MSc, 2008)
Yuanqiao Zhang (MSc, 2008)
Zhiyu Zhang (MSc, 2008)
Chun Dai (MSc, 2008)
Yi Sun (MSc, 2007)
Scott Stoddard (BSc, 2007) (
Patrick McLean (BSc, 2005)
Nick Floersch (BSc, 2004) (ten.h1443955440csreo1443955440lf@kc1443955440in1443955440) is a GIS developer in Richmond, VT, often involved in the back-end portions of web applications. He has also been getting involved in the civic hacking scene. His major project from this volunteer effort is called Lakecraft.

If you want your name to the list please send an email to telling us your coordinates (such as email and/or Web page) and maybe a brief blurb on what you are up to. If you are on the list but want to add some information about yourself (such as your coordinates or what are you up to) please write to us at the above email address.