Skip To Content Skip To Menu Skip To Footer

Computer Science Departmental Honors Archive

The following list includes the names of Dickinsonians who have earned departmental honors, the thesis/project title, and the year of conferral. If there is no thesis or project title, the conferring department only will be listed. Each academic department (or program) has its own criteria for awarding departmental honors. Please see the Advising Guide or elsewhere on the department’s main website for details.


Hoang Viet Vo (2022)
An Analysis of Object Detection Systems for the Automatic Detection and Localization of Basking Rattlesnakes in Images

Beverley-Claire Adaobi Okogwu (2021)
Chaos Genetic Algorithms vs Genetic Algorithms: Why Distributions of Mutation Sizes Matter

Adam G Cogen (2019)
Empirical Evaluation of Low-Power Wide Area Networks (LPWANs) for Internet of Things (loT)

Dung Tuan Ngo (2019)
Self-Adaptive Chaotic Mutation Operators in Evolutionary Computation

Jake Charles Beley (2018)
Secure and Lightweight Communication in Heterogeneous IoT Environments

James David Midkiff (2017)
Solution Approaches to Nonlinear 0-1 Knapsack Problem

Peixin Sun (2017)
Construction of Test Problems for the 0-1 Quadratic Knapsack Problem

Hieu Kinh Le (2016)
Applying Novelty Search to the Construction of Ensemble Systems

My Nguyen Tra (2016)
A Case Study on Modeling Social Network Privacy Policies Using Event-B

Graham Peter Williams (2016)
Pain Management: Formal Verification of an Android Application Using Event B2SQL

Samuel Livingston Kelly (2014)
AST Indexing: A Near-Constant Time Solution to the Get-Descendants-by-Type Problem

Katherine Marie Veil (2012)
Improving the jmle Tool's Constraint Solving On Sets

Fabio Ariel Drucker (2011)
Adding Support for Specification and Generic use to the krakatoa/why platform

Russell Charles Toris (2011)
Evolving Robotic Desires: A New Approach to Bridging the Reality Gap

Danni Yu (2011)
Translating B Machines to JML Specifications

James Andrew Doyle (2010)
PathFinder in CUDA

Michael Patrick Keating (2010)
Executing Formal Specifications via Constraint Programming: Enhancing the jmle Tool

Matthew Knapp Bachmann (2009)
The Effects of Network Structure and Fitness Sharing on the Evolutionary Dynamics of Iterated Prisoner's Dilemma Strategies

Adrian Demetrius Kostrubiak (2009)
Integration of Java Generics Into the jmle Tool Within the Eclipse IDE

Richard Ray Rast (2009)
Automated Interpretation of Arithmetic in First-Order Theories

Ke Zhou (2009)
Improving the Two Color Image Prior Bayesian Demosaicing Algorithm

Mark Christopher Veronda (2008)
Applying a Genetic Algorithm to the Localization Problem Using an Extremely Sensing Limited Robot

Ryan Eric Zeigler (2008)
A New Approach for Evolving Robotic Controllers

Jared A Lease (2007)
Coefficient Shifting to Improve Glover's Linearization of the Heaviest K-subgraph Problem

Scott Joseph McHugh (2007)
Small World Structures in Evolved Neural Networks

Stevan Kominac (2006)
Evolving Small-World Neural Networks

Ashley Charles Dean (2004)
The Influence of Learning on Chance, History and Adaptation in Artificial Evolution

Rebecca L Coutts (2003)
Effects of Learning on Coevolution

Adam Thomas Labadorf (2003)
Dynamic Correlation: The Effect of Learning on Evolution when Learning and Evolutionary Tasks are Different

Stephen Benjamin Hughes (1995)
New Upper Bounds for Space Bounded Server Algorithms

Joseph Thomas Devlin (1991)
A Connectionist Model of Un-prefixation

Mark Gregory Scammell (1990)
Parallel Processing and the Implementation of Parallel Sorting Strategies

Christian Samy Abdelmalek (1989)
Neural Networks: An Application to Handwritten Character Recognition

Shari Jayne Feldman (1989)
The Computer as a Catalyst: A Faster Way to Learning

Paul Vinson Stodghill (1988)
Using Portable Intermediate Code in Compiler Construction: Volume I: Summary and Specifications

A Mark Alloway (1987)
Graph Theory with Applications to Computer Science

Barbara J Reed (1986)
Computer Experiences as an Aid in Learning Mathematical Concepts