CECS Seminar Series
In support of CECS’ teaching, research, and service mission, the College launched a Seminar Series beginning Fall 2016. As a further outreach commitment to students, faculty, and the extended community, the Speaker Series is open to the public. The presentations in the Speaker Series provide opportunities for sharing both cutting-edge information from noted researcher in various fields as well as experience and timely insights from community leaders.
Friday, February 24, 2017 - Maytag Room (EMCS 426), 11:00 am
Topic: " Interdependency of Control and Communications: From Maxwell's Demon to Cyber Physical Systems"
Dr. Husheng Li, Associate Professor, Department of Electrical Engineering & Computer Science, University of Tennessee, Knoxville
In order to understand how to operate the physical dynamics of cyber physical systems
(CPSs), we study the control of entropy (or equivalently uncertainty) via communications
in CPSs. We consider the controller as the Maxwell's demon that decimates the system
entropy. Due to the second law of thermodynamics, the system entropy cannot be spontaneously
decreased. Therefore, to reduce the system entropy, the controller needs external
information communicated from sensors. The following aspects of the proposed framework
will be introduced: (a) For a finite state physical system in CPS, we derive upper
and lower bounds for the communication requirements. The optimal designs of message
mechanism and control policy are proposed. (b) For networked physical dynamics nodes
(such as generators in a power grid), the entropy propagation is described using ordinary
differential equations, in which the communication requirement due to quantization
error is taken into account. (c) Networked CPS is condensed to the continuous space
and the corresponding entropy evolution is described using partial differential equations
(PDEs), for two special types of CPS dynamics. Solutions are obtained for the PDEs
to characterize the propagation, decimation and generation of entropy in the field.
Husheng Li received the BS and MS degrees in electronic engineering from Tsinghua University, Beijing, China, in 1998 and 2000, respectively, and the Ph.D. degree in electrical engineering from Princeton University, Princeton, NJ, in 2005. From 2005 to 2007, he worked as a senior engineer at Qualcomm Inc., San Diego, CA. In 2007, he joined the EECS department of the University of Tennessee, Knoxville, TN, as an assistant professor. He is promoted to associate professor in 2013. His research is mainly focused on statistical signal processing, wireless communications, networking, smart grid and game theory. Dr. Li is the recipient of the Best Paper Awards of EURASIP Journal of Wireless Communications and Networks, 2005, EURASIP Journal of Advances in Signal Processing, 2015, IEEE ICC, 2011 and IEEE SmartGridComm 2012, and the Best Demo Award of IEEE Globecom, 2010.
Friday, March 10 – SimCenter Auditorium 3:00 p.m.
"Hyperion: A System for Computational Software Engineering"
Dr. Mark G. Pleszkoch, Senior Cyber Security Researcher, Cyberspace Sciences and Information Intelligence Research Group, Computational Sciences and Engineering Division, Oak Ridge National Laboratory
Functional semantics of programming languages is based on the idea that the behavior of a program can be modeled as a mathematical function from the program's inputs to the program's outputs. Functional verification is an approach to software engineering that makes use of this idea by using mathematical functions as specifications for programs, and using structured programming and hierarchical decomposition to verify that the program written implements the function specified.
Hyperion is a static analysis system that automatically analyzes binary machine code by computing the mathematical functional behavior of that code, thereby producing an "as-built" program specification. This talk describes the Hyperion system and the theory behind it.
Dr. Mark Pleszkoch is a senior researcher in the Cyber and Information Security Research group at Oak Ridge National Laboratory, where he does research in the automation of formal methods, static program analysis, and quantum computing. In particular, he works on the Hyperion project, which involves the automatic derivation of the functional behavior of disassembled machine language code. He has several publications in formal methods, software engineering, and other topics. The Hyperion system won an R&D 100 award in 2015.
Previously, Pleszkoch worked at CMU’s Software Engineering Institute for seven years and at IBM for twenty-one years. He also served on the adjunct faculty in the Computer Science department of the University of Maryland, Baltimore County for ten years. Pleszkoch holds a Ph.D. in Computer Science from the University of Maryland, College Park, and a B.A. and M.A. in Mathematics from the University of Virginia. He is a member of the Association for Symbolic Logic.
Thursday, April 13, 2017 - SimCenter Auditorium, 3:00 pm - 4:00 pm
"Non-Intrusive Diagnostics for High-Speed Flows: Challenges and Opportunities"
Dr. John D. Schmisseur, Professor of Aerospace Engineering, H.H. Arnold Chair and B.H. Goethert Professor, University of Tennessee, Knoxville
One of the key challenges in measuring high-speed flows is the temporal and spatial resolution of the critical phenomena that drive the flow behavior. Resolution requirements can range from several kilohertz to more than a megahertz over spatial scales extending from less than a millimeter to almost a meter with quantities of interest including both kinematic and thermodynamic conditions. Dr. Schmisseur will present an overview of some of the more interesting diagnostic challenges he has encountered during his career with the Air Force Research Laboratory and the University of Tennessee, with a focus on some of the current research being conducted by his HORIZON research group at UTSI. Measurements at flow Mach numbers from 2 to 12 will be included, along with some interesting “off topic” videos his team has shot during training with their high-speed camera.
Prior to joining the faculty in 2014, John was the Chief of the Energy, Power & Propulsion Sciences Division and Program Manager for Aerothermodynamics within the Air Force Office of Scientific Research (AFOSR). During his tenure at AFOSR, John initiated and led a national strategic research plan which has guided the research efforts of multiple federal agencies, championed the transition of basic research capabilities that have advanced flagship national hypersonics technology programs and transformed test and evaluation capabilities, and envisioned the HIFiRE program which unifies the efforts of AFRL, NASA and the Australian DSTO to advance fundamental hypersonic science and technology via flight research. He is active within the professional community including having served as Chair of the AIAA Fluid Dynamics Technical Committee and a NATO Science and Technology Organisation working group. Dr. Schmisseur earned his B.S. (90) and M.S. (92) in Aerospace Engineering from the University of Texas at Austin and his Ph.D. (97) in Aeronautics and Astronautics from Purdue University. He is a Fellow of the American Institute of Aeronautics and Astronautics (2012) and the Air Force Research Laboratory (2013) and is the 2008 recipient of the Air Force Science and Engineering Award in Research Management.
The SimCenter is located at 701 E. M.L. King Blvd., Chattanooga TN, 37403
Wednesday, April 19, 2017 - Card Auditorium (EMCS 201), 5:15 pm
Tom Kline, Principal - Kline Health Group
Tom received an Industrial Engineering degree from the University of Tennessee at Chattanooga in 1966 where he served as Student Body President and was selected by the faculty as recipient of the Alumni Achievement Award. He attended the University of Missouri on a biomedical research fellowship earning a M.S. degree in Industrial Engineering in 1968. He also holds an Honorary Doctor of Laws Degree from Saint Joseph’s College.
Tom served as a Lieutenant in the U.S Army Corps of Engineers. As a Platoon Leader during the Vietnam War Tom was awarded the bronze star, the Army Commendation Medal, and the Vietnamese Civil Works Medal.
In 1970 Tom joined the pharmaceutical company Pfizer Inc. in New York City.
In 1975 he was selected in a national competition as a White House Fellow serving in Washington D.C. as a special assistant to the U.S. Secretary of Agriculture.
In 1983 Tom became the youngest person to be named Plant Manager of Pfizer’s sprawling manufacturing plant in Brooklyn, New York where the work force exceeded 1000 colleagues. At Brooklyn he achieved national recognition for his leadership in improving public education, reducing crime, creating employment and building hundreds of residences for the needy. He is author of the related book The Golden Hand Grenade – A Lifetime Fighting to Rebuild a Tiny Stretch of Urban America.
During Tom’s 34 year career with Pfizer he held a number of global assignments in manufacturing, engineering and logistics and was responsible for technical operations in more than 20 countries. He has held leadership positions in many community organizations.
Tom is also a competitive race walker and author of the book Stride To The Top. He has completed more than 100 marathons and ultra-marathons and has walked across the Sahara Desert. In November 2015 he completed a stage walk of 6,500 miles from Point Barrow Alaska, the northernmost point in the U.S., to Key West, Florida in an effort to help rid the world of the killer disease Malaria.
Tuesday, February 21, 2017 - Card Auditorium (EMCS 201), 3:05 pm
"Beyond E-Week: Becoming an Engineering Entrepreneur"
Albert Woodard, Chairman of the Board of Directors for KaZee
Wednesday, January 25, 2017 - Benwood Auditorium (EMCS 230), 5:30 pm
"The Well Rounded Engineer"
Friday, December 2, 2016 - SimCenter Auditorium,
3:30 pm - 4:30 pm
"Multi-Robot Systems: From Formations to Human-Swarm Interactions"
Dr. Magnus Egerstedt, Executive Director for the Institute for Robotics and Intelligent Machines at the Georgia Institute of Technology.
Friday, November 18, 2016
"CFD Transition Modeling – Blending Classical Methods with Modern Tools"
Dr. Jim Coder, Assistant Professor of Aerospace Engineering in the Mechanical, Aerospace and Biomedical Engineering (MABE) department at the University of Tennessee – Knoxville speaking at the SimCenter.
Wednesday, October 12, 2016
"Workforce Readiness and How Students Can Prepare for the Challenges and Opportunities of Future Job Demands"
Community Leaders and CECS Alumni, Mr. David Wade, President and CEO of EPB; Ms. Tammy Womack, Manager with TVA; and Mr. Jason Allen, VP with Chattem/SunPharma
Guests panelists presented to a standing-room-only audience.
The Distinguished Speaker Seminar Series continues in the Spring 2017 term. Check back for additional information on speakers, dates and topics.
For more information, please contact Dr. Li Yang, Assistant Dean, College of Engineering and Computer Science at Li-Yang@utc.edu.