Events - March 2016

Candidate

Armin Sadeghi Yengejeh

Title

Distributed Task Allocation and Task Sequencing for Robots with Motion Constraints

Supervisor

Stephen L. Smith

Candidate

Saeed Nejati

Topic

SAT-based Cryptanalysis

Supervisors

Catherine Gebotys and Vijay Ganesh

Background subjects

• Cryptanalysis
• SAT Solvers
• Hash Functions

Candidate

Muhammad Riyad Parvez

Title

Combining Static and Dynamic Symbolic Program Analysis for Scalable Bug-finding in Application Binaries

Supervisors

Vijay Ganesh and Paul Ward

Candidate

Murphy Thomas Reynolds Berzish

Title

Design of A High-Level Language and Toolchain for Microfluidic Design Automation

Supervisor

Derek Rayside

Abstract

Microfluidic circuits are currently designed by hand, using a combination of the designer's domain knowledge and educated intuition to determine unknown design parameters. Circuits are typically tested by physically constructing them in silico and performing another design iteration if issues are identified with the device.

ECE SEMINAR    

OPERATION CHALLENGES FOR THE PORTUGUESE POWER SYSTEM WITH LARGE SCALE INTEGRATION OF WIND POWER GENERATION

João A. Peças Lopes, Porto University, Portugal

Invited by Professor Claudio Cañizares

ECE SEMINAR    

         Dr. Bogdan Vasilescu, University of California, Davis, USA

ALL ARE WELCOME!

Abstract:

Candidate

Alireza Tari

Title

Amorphous Transition Metal-oxides for Transparent Flexible Electronics: Device Fabrication and Characterization

Supervisor

William Wong

Candidate

Ahmed Alhammad

Title

Memory Efficient Scheduling for Multicore Real-time Systems

Supervisors

Rodolfo Pellizzoni and Sebastian Fischmeister

Abstract

Modern real-time systems are becoming increasingly complex and requiring significant computational power to meet their demands. Since the increase in uniprocessor speed has slowed down in the last decade, multicore processors are now the preferred way to supply the increased performance demand of real-time systems.