Events

Candidate

Yaoqiang Li

Title

An Energy-Efficient System with Timing-Reliable Error Detection Sequentials

Supervisor

Manoj Sachdev

Candidate

Dawood Alsaedi

Title

Graphene oxide femtogel photodetector

Supervisors

Mustafa Yavuz (Mechanical & Mechatronics) and Omar Ramahi

Candidate

Saeed Nejati

Topic

SAT-based Cryptanalysis

Supervisors

Catherine Gebotys and Vijay Ganesh

Background subjects

• Cryptanalysis
• SAT Solvers
• Hash Functions

Candidate

Jia Hui Liang

Topic

Combining Machine Learning with Deduction for SAT Solvers

Supervisors

Krzysztof Czarnecki and Vijay Ganesh

Background subjects

• SAT Solving
• Constraint Solving
• Branching Heuristic
• Machine Learning

ECE SEMINAR    

          Ian A. Kash, Microsoft Research Canada, United Kingdom

Invited by Professor Krzysztof Czarnecki

ALL ARE WELCOME!

Abstract:

Candidate

Armin Sadeghi Yengejeh

Title

Distributed Task Allocation and Task Sequencing for Robots with Motion Constraints

Supervisor

Stephen L. Smith

Candidate

Yao Chen

Topic

Towards Practical Fully Homomorphic Encryption

Supervisor

Guang Gong

Background subjects

• Cryptography
• Coding Theory
• Communications Security

ECE SEMINAR

Mr. Gennady Pekhimenko

Computer Science, Department Carnegie Mellon University

Invited by PROFESSOR KRZYSZTOF CZARNECKI

ALL ARE WELCOME!

Abstract:

Candidate

Mohammadbagher Fereidani Samani

Topic

A Novel Retro-directive Phased Array Antenna Architectures

Supervisor

Safieddin Safavi-Naeini

Background subjects

• Antenna theory and applications
• Microwave theory and applications
• RF Circuits

Candidate

Kuan Zhang

Title

Security and Privacy for Mobile Social Networks

Supervisor

Sherman Shen