2014 – 2015 Distinguished Lecture Series
Select annual
2014–2015
2013–2014
2012–2013
2011–2012
2010–2011
2009–2010
Date: Monday, March 23th ,
2015 10:00am Auditorium 106
Topics:
New Advances in Forensic Identification
Speaker:
Distinguished Chair Professor, University of New Haven
Research
Areas:
Forensic Science
Date: Monday, March 2nd ,
2015 10:00am Auditorium 106
Topics: Keeping a Crowd Safe: On the Complexity of Parameterized Verification
Speaker:
Institute of Computer Science, Technische Universität
München
Research
Areas:
Algorithms and tools for the design and
verification of reactive and distributed systems
Verification of systems with infinitely many
states
Software Model Checking
Program analysis
Formal models for distributed systems: Petri nets
and process algebras
Logic and automata theory
Analysis of probabilistic systems
Applications of constraint solvers to
verification problems
Semantics of parallel programming languages
Analysis and synthesis of asynchronous circuits
Date: Monday, October 6th ,
2014 10:00am Auditorium 106
Topics: Virtual
Prototyping for Cyber Physical Systems
Speaker:
Former
European Director of LIAMA, the sino-european Laboratory
of Informatics and Control in China, now is leading a
LIAMA research group on the development of cyber physical
system, as well as an invited Scientist at Shanghai East
China Normal University.
Research
Areas:
Virtual Prototyping; Hardware Simulation; Cyber
Physical Systems; Embedded Software
Date: Monday, November 3rd ,
2014 10:00am Auditorium 106
Topics: Towards
Dependable Cyber-Physical Systems
Speaker:
Swiss
Federal Institute of Technology Zurich Professor,
Computer Engineering and Networks Laboratory
Research
Areas:
models, methods and software tools for the design
of embedded systems
embedded software and bioinspired optimization
techniques
Date: Thursday, December 18th ,
2014 10:00am Auditorium 106
Topics: Future
Directions in Computer Science Research
Speaker:
IBM
Professor of Engineering and Applied Mathematics, Cornell
University
Research
Areas: The
Analysis and Modeling of large Linked Networks (NSF);
Information Forensics (AFOSR)
