CS PhD student, Alex Klinkhamer received a travel grant for attending SSS 2012 in Toronto. Alex is working with Dr. Ali Ebnenasir, his advisor.
Michigan Technological University invites applications and nominations for the position of Chair of the Department of Computer Science to begin in the 2013-2014 academic year. We seek an individual with the vision and leadership skills to elevate the department’s prominence in computer science research, further our strong tradition of educational excellence, and grow our graduate programs. Find out more at this link.
July 16, 2pm
Title: Automated Design of Self-Stabilization
Nowadays, we witness an increasing impact of software system failures due to the
growing abundance and steady proliferation of software into our daily activities.
Self-stabilization is a property of a distributed system such that, regardless of the
legitimacy of its current behavior, the system behavior shall eventually become legitimate and shall remain so thereafter. Despite its elegance, self-stabilization is very difficult to
design and verify manually. We pursue two approaches towards the automated design of
self-stabilization. The first approach explores the global state space of distributed
protocols, through a set of heuristics, to automatically add self-stabilization to these
protocols. Towards this end, we develop software tools that implement our heuristics and
obtain existing and new self-stabilizing protocols on various network topologies. The
second approach investigates the global behavior of a distributed protocol by reasoning
about the local state space of just one of its components/processes. In particular, we
provide necessary and sufficient conditions — verifiable in the local state space of every
process — for global deadlock and livelock-freedom of protocols on ring topologies. Local
reasoning potentially circumvents state explosion and partial information in distributed
systems, thereby enabling our assertions about global deadlocks and livelocks to hold for
rings of arbitrary size.
Watch the defense:
March 30, 2012, 3:00 PM, Room 214 – Rekhi Hall
Title: Generating Automated Usability Tests for User Centered Design
The agile approach to software development gives top priority to satisfying the customer through early and continuous delivery of valuable software. A key component of the agile approach is test driven development (TDD), which involves the continuous maintenance of an automated regression test suite. One area that appears resistant to TDD is usability testing, due to its inherently subjective nature. Without automated usability testing, many HCI intensive applications cannot be developed in a fully agile manner.
This research project will provide automated usability tests that can supplement standard usability testing. It uses generative programming techniques to create test code based on common usability heuristics. Generated code can adapt to varying styles of interface, and can ground subjective decisions in objective criteria. [Video]
Title: An Introduction to Point Cloud Understanding
Brian VanVoorst, MTU Alumni & Technical Director of BBN Technologies
Thursday, March 22,2012 – 135 Fisher Hall – 2:00 PM
Abstract: A point cloud is a collection of 3D points from a 3D sensor such as a LIDAR, stereo camera, or a Microsoft Kinect system. These 3D sensors are used in applications of robotics, mapping (such as the Google Street View platforms), and entertainment. At BBN there are multiple projects under way with a common theme of “point cloud understanding.” Point cloud understanding is an area of computer vision research in which algorithms are developed to extract knowledge from point clouds. In this talk an overview of 3D sensors and their point clouds, discuss challenges computer scientists face in processing point clouds, explain some of the key algorithms and data structures, highlight the differences between point cloud understanding and image understanding, and explore opportunities for sensor fusion. I will draw heavily upon the real-world challenges we face in our ongoing research projects. This talk will be accessible to computer scientists and engineers at all levels.
Biography: Brian VanVoorst joined BBN Technologies in 2008 as a Technical Director to help form the BBN Technologies office in Minnesota. He has more than 19 years of experience working on and leading research and development programs. His most recent work is in the area of the automated understanding of LIDAR point clouds. His previous work has been in many areas, including real-time and fault-tolerant systems, mobile ad-hoc networking, parallel processing, and parallel system benchmarking. He also has worked extensively with robotics and was part of a team that was a finalist for the DARPA Urban Challenge. Before coming to BBN, VanVoorst was a researcher at Honeywell Labs for 14 years and spent two years at the NASA Ames Research Center. VanVoorst earned his bachelor’s and master’s degrees in computer science from Michigan Technological University. From 1999–2001 he held a lectureship position at Michigan Tech and taught in the Computer Science Department while continuing to work for Honeywell. He holds one patent with four applications pending and has published more than 20 papers in conference proceedings and journals.
Put your AI to the test and conquer the nine realms! On March 31, 2012 the 5th Annual BonzAI Brawl programming competition will take place in the CS department at Michigan Technological University. The programming will be an all day event, where teams of 1 to 3 contestants will implement an AI player for a game. The contestants will be given the details of the API the day of the competition and must design a winning strategy within the 8 hours allotted. After coding ends, the AIs are pitted against each other, in a tournament (known as the BRAWL). Spectators are welcome to attend and cheer for their favorite AI at the BRAWL. For more information about BonzAI Brawl or to register your team, visit http://wics.students.mtu.edu/bonzai. All teams must register by March 23, 2011.
Sponsored in part by a donation from LaSalleTech, Consistacom, Jackson, and the CS Department.
Department of Computer Science Seminar
February 27, 2012 – 4:04 PM – Room G005 – Rekhi Hall
Title: “Fuzzy Kernel Clustering of Large Scale Biomedical and Bioinformatics Data”
Since the early 1990’s, the ubiquity of personal computing technology has produced an abundance of staggeringly large data sets—it is estimated that Facebook alone logs over 25 terabytes of data per day and large bioinformatics data sets that integrate microarrays, sequences, and ontology annotations continue to grow. To compound this fact, these data sets are populated from disparate, often unknown, sources and are in a wide-range of formats. There is a great need for systems by which one can elucidate the similarity among and between groups in these data sets and produce easy-to-understand visualizations of the results. In this talk, I will discuss a method for efficiently and accurately approximating the solution of the kernel c-means clustering algorithm, specifically focusing on the fuzzy variant. Kernel clustering has been shown to be effective for data sets where the groups are not linearly separable in the input space or are high-dimensional. However, kernel fuzzy c-means (kFCM) presents computation and storage requirement challenges: clustering 500,000 objects requires 1 terabyte of main memory. I will show that on medium scale data (~50,000 objects) the approximate kFCM (akFCM) algorithm gives up to three orders of magnitude speed-up and a constant factor reduction in memory footprint with little-to-no degradation in performance, as compared to literal kFCM. I also demonstrate that akFCM performs well on large-scale data (>500,000 objects), including magnetic resonance imaging volumes. Last, I will apply the clustering method to bioinformatics data composed of genes described by Gene Ontology annotations to show how akFCM can be used for comparative genomics.
The Michigan Technological University Department of Computer Science is proud to announce that Bo Yu, a senior in the CS, as been selected to receive the Michigan Tech SURF (Summer Undergraduate Research Fellowship) award. Bo has received the maximum award given for this fellowship – $3300.
Bo’s research, under the mentoring of Dr. Ali Ebnenasir, is titled, “Towards Designing a Fault-Tolerant Scheduler for the OkL4 Microkernal.” OkL4 is a small microkernel found within millions of smart phones. The research involves studying the task queue of the OkL4 scheduler, analyzing the impact of transient faults on the task queue, designing recovery from transient faults, and refining recovery back to the level of the OkL4 source code.
Congratulations to Bo and Dr. Ali Ebnenasir!
John Bush has been selected as the Department Scholar for 2012. At the 18th Annual Student Leadership Awards Ceremony being held on Friday, April 13, 2012, John will be recognized as the Computer Science Departmental Scholar and will receive a $200 cash award, along with a student from each academic department at Michigan Technological University.
In addition, one of the Departmental Scholars will be selected as as the Provost’s Award for Scholarship recipient and receive an additional $800 cash award. The Department congratulates you on your hard work.
The Graduate School has announced the recipient of a Graduate Student Government Outstanding Service Award is PhD Candidate Shreya Kumar.
Shreya is a graduate Teaching Assistant in the Computer Science Department, serves as the Computer Science Graduate Representative and is a member of the Financial Board of the GSC.