Dr. Guillem Bernat
Chief Executive Officer, Rapita Systems Ltd., York, United Kingdom
Probabilistically Analyzable Hard Real-Time Systems
Tuesday, May 22, 2012
1:30 pm
EIT 3142
Invited by: Prof. S. Fischmeister
Prof. Doris Sáez
Department of Electrical Engineering, University of Chile
Design of Predictive and Fuzzy Control Strategies for Public Transport Systems
Wednesday, May 16, 2012
4:00 pm - 5:00 pm
EIT 3142
Dr. Nutapong Somjit
Royal Institute of Technology - KTH, Sweden
Novel RF MEMS Phase-Shifters for W-Band Beam-Steering Front-Ends
Wednesday, May 2, 2012
11:00 am - 12:00 noon
DC 1304
Dr. Peter Henriksen
Development Director of Analysis, Coverity
Static Analysis in Industry: Techniques and Challenges
Friday, April 27, 2012
11:00 am - 12:00 noon
EIT 3142
Invited by: Prof. L. Tan
Prof. Jiming Liu
Chair Professor in Computer Science, Associate Dean of Science
Hong Kong Baptist University, Kowloon, Hong Kong
Challenging Problems in Web Intelligence and Socially-Relevant Complex Systems Research
Tuesday, April 24, 2012
2:30 pm
EIT 3142
Dr. Vijay Ganesh
Massachusetts Institute of Technology
SMT Solvers for Software Reliability and Security
Monday, April 23, 2012
11:00 am - 12:00 noon
E5 4106/4128
Prof. Augusto Froehlich
Federal University of Santa Catarina (UFSC), Santa Catarina, Brazil
EPOSMote and the Internet of Things
Friday, April 20, 2012
11:00 am - 12:00 noon
DC 1304
Invited by: Prof. S. Fischmeister
Prof. Peter Marbach
Department of Computer Science, University of Toronto
A New Perspective on Distributed Scheduling in Wireless Multihop Networks
Thursday, April 19, 2012
10:30 am - 11:30 am
E5 4106/4128
Invited by: Prof. R. Mazumdar
Dr. Tung Nguyen
Iowa State University
Supporting Bug Finding and Fixing via Software Analytics
Tuesday, April 17, 2012
11:00 am - 12:00 noon
EIT 3142
Prof. Min Chen
School of Computer Science and Technology
Huazhong University of Science and Technology, Wuhan, China
Recent Advances in Body Area Networks and Industry Applications for Internet of Things
Monday, April 16, 2012
10:00 am - 11:00 am
EIT 4152
Invited by: Prof. W. Zhuang
Dr. Marcelo D'Amorim
Federal University of Pernambuco (UFPE), Brazil
Improved Symbolic Execution with the CORAL Constraint Solver
Wednesday, April 11, 2011
11:00 am - 12:00 noon
E5 4106/4128
Dr. Laila Salman
Technical Services Specialist, Ansys Canada Ltd.
Ansys HF Simulation Tools Update
Monday, April 2, 2012
4:00 pm - 5:00 pm
E5 5106/5128
Invited by: Prof. S. Safavi-Naeini
Dr. Bobak Nazer
Department of Electrical and Computer Engineering, Boston University
Harnessing Interference
Friday, March 30, 2012
11:00 am - 12:00 noon
DC 1302
Invited by: Prof. A. Khandani
Prof. Zhou Wang
Department of Electrical and Computer Engineering
University of Waterloo
What Makes an Image Look Good? Recent Progress on Objective Image Quality Assessment
Thursday, March 29, 2012
4:00 pm - 5:00 pm
E5 5106/5128
Prof. Shahriar Mirabbasi
Department of Electrical and Computer Engineering
University of British Columbia
LC Circuit Potpourri: From Adjusting Phase Noise in CMOS Oscillators to Resonance-Based Wireless Power Delivery
Monday, March 26, 2012
9:30 am - 10:30 am
E5 5106/5128
Invited by: Prof. S. Safavi-Naeini
Dr. Joshua Schiffman
Pennsylvania State University
Practical verification of system integrity in cloud computing environments
Monday, March 19, 2012
11:00 am - 12:00 noon
E5 5106/5128
Prof.Reihanah Safavi-Naini
Department of Computer Science, University of Calgary
A General Construction for 1-round RMT and SMT
Thursday, March 15, 2012
2:00 pm - 3:00 pm
DC 1304
Invited by: Prof. A. Khandani
Dr. Willis Lang
University of Wisconsin-Madison
Towards Energy-Efficient Database Systems
Monday, March 12, 2012
11:00 am - 12:00 noon
E5 5106/5128
Prof. Yehea Ismail
Director, Nanoelectronics Center, Northwestern University
Many-Core Chips: The New High-Performance Computing Platform
Wednesday, February 29, 2012
12:00 noon - 1:00 pm
EIT 3142
Dr. Christopher Wilson
Chalmers University of Technology, Goteborg, Sweden
Microwave Quantum Optics Using Superconducting Circuits
Monday, February 13, 2012
2:00 pm - 3:00 pm
DC 1304
Dr. Zixiang Xiong
Texas A&M
Quadratic Gaussian Multiterminal Source Coding
Friday, February 10, 2012
10:30 am - 11:30 am
DC 1304
Invited by: Prof. E. Yang
Dr. Michal Bajcsy
Ginzton Laboratory, Stanford IUniversity
Quantum Optics Inside Hollow Optical Waveguides and Photonic-Crystal Cavities
Tuesday, January 31, 2012
11:00 am - 12:00 noon
EIT 3142
Dr. Yong Guan
Iowa State University
Time-based Secure Pairing Protocol for Low-cost Passive RFID Systems
Friday, January 20, 2012
11:30 am - 12:30 pm
EIT 3142
Invited by: Prof. G. Gong
Dr. Waleed Shinwari
University of Toronto
Sunnybrook Health Sciences Center
Modeling and Simulation of FET-based Biosensors for Lab-on-Chip Applications
Tuesday, January 17, 2012
11:00 am - 12:00 noon
E5 5106/5128
Prof. Per-Simon Kildal
Chalmers Institute of Technology
OTA-MIMO measurements in reverberation chamber
Wednesday, January 11, 2012
3:00 pm - 4:00 pm
E5 4047
Invited by: Prof. S. Safavi-Naeini
Prof. Yasser G. Hegazy
German University in Cairo
An Adequacy Model for a Wind Turbine Generator (WTG)
Monday, January 9, 2012
10:30 am - 11:30 am
E5 5106/5128
Invited by: Prof. M. Salama
Dr. Edward Au
Principal Engineer, Huawei Technologies
User Scheduling for Heterogeneous Multiuser MIMO Systems: A Subspace Viewpoint
Monday, January 9, 2012
10:30 am - 11:30 am
EIT 3151
Invited by: Prof. W. Zhuang