Research Colloquium 2016 -2017
The Research Colloquium Series began in the Fall 2010 by the Mathematics and Software Engineering department.
Lectures blend pioneering research ideas with engaging narrative, accessible to students and faculty outside the discipline. Some lectures are pure scientific entertainment. Everyone is welcome to join for an hour of interesting, intellectual fun.
Thursday, December 8, 2016 at 1 pm (Room E120)
Title: Social Computing: Wisdom of Crowds in a Highly Connected World
Dr. Sindhu Kutty, Dept. Computer Science and Software Engineering
7th Annual Mike Skaff Memorial Lecture
Topic: The question of how to effectively use the massive amounts of readily available data in order to make decisions is at the core of the new and burgeoning research area in computer science called social computing. I will give a broad introduction to social computing systems and provide some recent results that my collaborators and I have achieved in this area.
Thursday, October 20, 2016 at 1 pm (Room E220)
Title: Scaling the Formal Synthesis of Supervisory Control Software for Multiple Agent Systems
Dr. Richard Hill
Topic: In this work we demonstrate a new approach for formally synthesizing control software for a set of cooperating agents. Existing discrete event system theory is applied to efficiently generate a set of modular supervisory controllers that are guaranteed to meet a given set of logical specifications (safety and nonblockingness). A subsequent synthesis step then chooses from amongst the set of legal behaviors allowed by the modular supervisors. The efficiency of this planning step is improved through a novel combination of hierarchy and decomposition.
Thursday, September 29, 2016 at 1 pm (Room E220)
Title: Squeeze Infiltration for Manufacture of Metal Matrix Composites
Dr. Kunal Basu
Topic: Specific Modulus (Young’s Modulus/density) of a material is one of the major considerations in the selection of materials for design of components in the field of automobiles, aviation and aerospace. Composites are finding increasing applications as they can be tailor made for appropriate high specific stiffness (specific modulus). This talk will cover the principles and the technique of squeeze infiltration, a metal matrix composite (MMC) manufacturing process which is amenable to selective reinforcement.