Erik Etien is an Associate Professor with HDR (Habilitation à Diriger des Recherches) in Automatic Control and Systems at the University of Poitiers, France. He is affiliated with the Laboratory of Sensorial Applications Engineering (LIAS) which maintains facilities at both ENSIP (École Nationale Supérieure d'Ingénieurs de Poitiers) and ISAE-ENSMA. His research focuses on automatic control systems with particular expertise in: Induction motor control and fault detection Permanent magnet synchronous motor/generator diagnostics Sensorless control techniques Signal processing for condition monitoring Digital twin technology for predictive maintenance Software sensors and estimation algorithms Dr. Etien's recent publications demonstrate a strong focus on developing advanced signal processing techniques for fault detection in electrical machines, particularly using tacholess (speed sensor-free) approaches. His work often combines model-based methods with adaptive filtering techniques like Kalman filters, with increasing incorporation of machine learning approaches in recent years. His research spans applications across multiple industries including wind energy, industrial automation, and power systems, with demonstrated practical implementations in transformers, vacuum processes, and electromechanical systems. He has co-authored two books on data acquisition systems and sensorless vector control of asynchronous machines, establishing his expertise in the field. His laboratory work at LIAS involves close collaboration with researchers including Sebastien Cauet, Laurent Rambault, and Anas Sakout on various control systems projects.
Marco Caccamo is an Adjunct Professor at the University of Illinois at Urbana-Champaign (UIUC) and holds a courtesy appointment in the Coordinated Science Lab and Department of Aerospace Engineering. He earned a Ph.D. in Computer Engineering from Scuola Superiore Sant'Anna (Italy) in 2002. His research focuses on embedded systems, real-time computing, and cyber-physical systems, with applications in avionics, automotive systems, and UAVs. He is a recipient of the IEEE Fellow (2018) and Alexander von Humboldt Professorship (2018). He has chaired major conferences such as RTSS and RTAS and served as General Chair of CPSWeek 2011. His work includes contributions to real-time scheduling, multicore resource management, and reinforcement learning for autonomous systems. Current research highlights include sandboxing AI-based controllers and 6D pose estimation for robotic systems. He leads the Real-Time and Embedded System Laboratory and collaborates with industries to develop innovative software architectures for embedded systems.
Professor Gary Tan is a faculty member in the Department of Computer Science and Engineering at Penn State University, holding the rank of Professor since 2020. He is Co-director of the Institute for Networking and Security Research (INSR) and a co-hire of the Institute for Computational and Data Sciences (ICDS). His research focuses on software security, formal methods, and programming languages, leading the Security of Software (SOS) Group. He has held academic positions at Lehigh University (2008–2020) and Boston College (2005–2008). Education: B.E. in Computer Science from Tsinghua University (1999), Ph.D. in Computer Science from Princeton University (2005), advised by Andrew W. Appel. Additional degrees include a B.E. in Economics from Tsinghua (1999). Research Interests: Gary's work centers on applying compiler, programming language, and formal method techniques to enhance software security. Key areas include secure compilation, binary analysis, control-flow integrity, IoT security, and formal validation of file formats. His SOS Group explores these topics with a focus on practical and verified security solutions. Grants & Funding: Gary has secured over $20 million in external grants, including multiple NSF awards (CAREER, CNS), DARPA projects (GAPS, SafeDocs), and industry collaborations with Microsoft Research, MIT Lincoln Lab, and Intel. His work on VeriPro (DARPA ICS) and SPARTA (DARPA SafeDocs) exemplifies his leadership in securing complex systems. Awards: Notable recognitions include the 2024 Distinguished Paper Award at PLDI, 2023 Outstanding Research Award from Penn State Engineering, and the 2018 Ruth and Joel Spira Excellence in Teaching Award. He is an ACM Distinguished Member and served on the DARPA ISAT study group (2020–2024). Labs & Teams: Gary leads the SOS Group and collaborates with interdisciplinary teams at INSR and ICDS. His research involves advanced tools like MCFI, Robusta, and RockSalt, emphasizing practical security solutions with formal guarantees.
Roles and Affiliations: Dongyan Xu is the Samuel D. Conte Professor of Computer Science at Purdue University and Director of CERIAS (Cybersecurity Center). He leads the Purdue System Security Lab (PurSec) and focuses on cyber and cyber-physical security research. His work extends to cloud computing and embedded systems security. Education: BS in Computer Science from Zhongshan University (1994), PhD in Computer Science from University of Illinois at Urbana-Champaign (2001). Research Interests: Cybersecurity, cyber-physical systems security, embedded systems security, malware analysis, reverse engineering, and cloud infrastructure optimization. Key projects include virtualization-based malware defense, Bluetooth protocol vulnerability analysis, and secure UAV control systems. Grants and Funding: Principal Investigator of over $36 million in grants, with total research funding exceeding $132 million from sponsors like AFOSR, DARPA, NSA, NSF, and industry partners. Projects address automotive cybersecurity, IoT security, and critical infrastructure protection. Awards and Recognition: NSF CAREER Award (2006), multiple Best Paper Awards at RAID, SoCC, ASE, and USENIX Security. Named University Faculty Scholar (2012). Honored with College of Science awards for advising and leadership. Labs and Teams: Directs CERIAS and leads PurSec, collaborating with interdisciplinary teams on cyber-physical security, embedded systems, and cloud computing innovations. Active in policy-guided vulnerability discovery and automated patching for robotic vehicles.
Eftichios Koutroulis is a Professor at the Department of Electronic and Computer Engineering, Technical University of Crete, and Director of the Circuits, Sensors, and Renewable Energy Resources Laboratory. He earned his Diploma (1996), M.Sc. (1999), and Ph.D. (2002) in Electronic and Computer Engineering from the same university. His academic career includes a visiting researcher position at Aalborg University's Department of Energy Technology (Denmark). Since 2012, he has held a permanent position as Assistant Professor, advancing to his current role. He serves on the Renewable Energy journal’s editorial board and focuses on power electronics, renewable energy systems, and energy management. Research Interests: Microelectronic circuit design, renewable energy systems, photovoltaic optimization, energy harvesting, and smart grid integration. Publications: Over 50 journal articles in top-tier venues like IEEE Transactions on Power Electronics, Renewable Energy, and Applied Sciences. Recent work emphasizes transformerless inverters, MPPT algorithms, and grid integration challenges. Notable contributions include machine-learning-based MPPT under partial shading and wave energy converter designs. Awards: While no specific awards are listed, his editorial role and prolific publication record highlight his academic impact. He advises on desalination systems powered by RES through projects like DES2iRES. Labs/Teams: Leads the Circuits, Sensors & Renewable Energy Lab, focusing on hardware-software co-design for energy systems. Collaborates internationally on EU-funded initiatives for grid resilience and smart energy solutions.
Manuela Wenger is a researcher specializing in satellite communications and spacecraft systems at the Institute of Communication Networks and Satellite Communications. Her work focuses on CubeSat technology, software-defined radio (SDR), and satellite payload design. She has contributed to projects like the BRITE-Constellation, OPS-SAT, and the PRETTY satellite, which explores climate monitoring via Earth observation. Wenger has authored over 60 publications and holds the Forschungspreis (2007) for her research. She actively participates in international conferences, presenting on topics such as satellite communication links, fault detection in spacecraft systems, and innovative antenna designs. Education: Dipl.-Ing., Dipl.-Ing. (FH), Dr.techn. Research Interests: CubeSat applications, SDR platforms, fault-tolerant power systems, and VHF/S-band communication protocols. She collaborates internationally on space projects, emphasizing operational efficiency and environmental monitoring through satellite systems. Awards: Forschungspreis (2007). Grants & Projects: Leads/co-investigator in projects like Design and development of antenna systems (2021–2030), PRETTY (Passive Reflectometry and Dosimetry), and MCCL SignalGen (2024–2025). Labs/Teams: Involved in the Institute of Communication Networks and Satellite Communications, focusing on CubeSat development and space communication technologies.
Zane Weissman is an Assistant Teaching Professor in the Department of Electrical and Computer Engineering at Worcester Polytechnic Institute (WPI). She holds a Ph.D. in Electrical and Computer Engineering from WPI (2024), following B.S. (2019) and M.S. (2019) degrees in the same field. Her teaching focuses on computer engineering with an emphasis on hands-on laboratory work and collaborative project-based learning. Her research explores microarchitectural security vulnerabilities in FPGA-CPU systems and cloud infrastructure, with publications in peer-reviewed journals and a book chapter. She also contributed to environmental studies on sound pollution in national parks. Education Ph.D., Electrical and Computer Engineering, WPI (2024) M.S., Electrical and Computer Engineering, WPI (2019) B.S., Electrical and Computer Engineering, WPI (2019) Research Interests Her research bridges hardware security and cloud computing, investigating vulnerabilities in FPGA-CPU co-designs and serverless platforms. She explores mitigations for microarchitectural attacks like rowhammer and IOTLB-SC leaks, while maintaining a secondary interest in environmental acoustics. Her work emphasizes practical defenses for modern computing systems. Publications Recent work includes analysis of high-frequency bit flip impacts (2025), Firecracker VMM security (2024), and FPGA-driven rowhammer attacks (2019). Earlier environmental studies on sound pollution (2017) reflect a multidisciplinary approach to research. Labs/Teams No specific lab affiliations listed, though her teaching emphasizes collaborative project work in WPI's lab facilities.
Dr. Ishbel Duncan is an Honorary Senior Lecturer at the School of Computer Science, University of St Andrews. Her research spans software testing, network security, penetration testing, data sciences, and computer-supported education. She leads the Cyber Nexus project (£420K, Scottish Government) and collaborates on EU-funded initiatives like CINE Northern Periphery and CUPIDO. Duncan's work includes virtual worlds for education and heritage (ViStA, Virtual Dive Experience) and security evaluation techniques for cloud systems and intrusion detection. Education: Ph.D., University of Durham (1989-1993, Strong Mutation Testing) B.Sc., University of St Andrews Her research focuses on Security Testing , Visualization of Software Testing , and Education Technology . She develops intelligent agents for failure analysis in programming education, explores OCR-based phishing prevention, and applies virtual environments for international student orientation and heritage preservation. Recent work emphasizes adaptive intrusion detection, subdomain threat detection, and energy-efficient protocols for wireless sensor networks. Key grants include the Cyber Nexus project (Scottish Government) and CUPIDO (EU funding). She supervises postgraduate researchers and contributes to the UN Sustainable Development Goal for Quality Education through digital tools. Technical Collaborations: NHS, BT, Microsoft, and academic institutions like Abertay University.
Zhong Shao is the Thomas L. Kempner Professor of Computer Science at Yale University. He leads the FLINT research group and is a prominent researcher in programming languages, formal methods, operating systems, and computer security. His work focuses on building certified system software through mechanized proofs to create dependable software systems that can manage increasing complexity in modern computing. Professor Shao's research spans multiple domains including programming language design, OS kernel development, formal semantics, compiler construction, and proof engineering. His work addresses challenging problems in concurrency and distributed computing, with a particular emphasis on creating hacker-resistant systems. He has collaborated with researchers at Princeton, University of Pennsylvania, and MIT on the NSF Expedition project 'The Science of Deep Specification.' Shao's recent publications demonstrate a strong focus on compositional verification techniques for distributed systems and certified compilation. His work on DeepSEA language, CertiKOS operating system, and various verification frameworks shows a consistent trajectory toward building fully verified system software from the ground up. Key themes include linearizability, Byzantine fault tolerance, compositional reasoning, and refinement-based verification approaches across concurrent and distributed systems. As an educator, Professor Shao teaches courses including CS430 Formal Semantics (Spring 2025), CS421 Compilers and Interpreters, CS422 Operating Systems, and CS428 Language-Based Security. He participates in systems seminars on APLAR and SPAM, contributing to the academic community through both research and teaching. Professor Shao leads the FLINT research group at Yale, which focuses on building novel certified system software. The group's work has resulted in breakthroughs such as the CertiKOS operating system, which represents a significant advancement in hacker-resistant concurrent operating systems. The group collaborates with the DeepSpec project, an NSF Expedition focused on deep specifications for trustworthy systems, and has developed frameworks like LiDO, Adore, and AdoB for verifying distributed systems with strong guarantees.
Sanja Antic is an Associate Professor at the Department of General Electrical Engineering and Electronics within the Faculty of Technical Sciences at the University of Kragujevac, Serbia. She teaches courses including Automatic Control (since 2009), Digital Control Systems (since 2014), and Control of Electromotor Drives (since 2009), having previously taught Fundamentals of Electrical Engineering, Electrical Measurements 1, and Electric Drives. Dr. Antic completed her primary and secondary education in Čačak with the prestigious Vuk Karadžić diploma for academic excellence. She earned her undergraduate degree in Electrical Engineering with Industrial Power Engineering specialization from the Faculty of Technical Sciences in Čačak in 2000 with an outstanding grade average of 9.60, receiving recognition as the top graduate of her academic year. She continued to excel in her postgraduate studies, earning a Master of Technical Sciences degree in 2009 with a perfect 10.00 grade average. Her doctoral dissertation, defended in 2016 at the University of Belgrade, focused on application of model-based fault detection methods in electromechanical systems. Her research expertise spans control systems engineering with particular focus on fault detection and isolation in DC motor systems, electromotor drive control, and educational applications of control theory. Dr. Antic has made significant contributions to the field of fault detection methodologies for electromechanical systems, developing expert systems using structured residuals design techniques and FPGA implementations. Her work extends to practical applications in tank-level control systems, aquifer modeling, and energy efficiency of electric motors. She has been instrumental in developing remote laboratory experiments for engineering education, creating educational tools that bridge theoretical concepts with practical implementation. Analysis of her recent publications reveals a strong research trajectory focused on fault detection and isolation techniques for DC motor systems, with increasing sophistication in diagnostic approaches. Her work has evolved from basic fault detection methods to comprehensive identification and isolation systems, incorporating advanced techniques like parameter estimation, structured residuals, and FPGA implementations. She has also expanded her research into educational applications of control theory, developing laboratory setups and remote experiments that enhance engineering education. Dr. Antic has led and participated in several research projects, including the modernization of teaching for three mandatory subjects in Electrical and Computer Engineering (EMPA) from 2020-2021, and has contributed to building a network of remote labs to strengthen university-secondary vocational school collaboration through a TEMPUS project. Her work on energy efficiency of electromotor drives has been supported by the Ministry of Education, Science and Technological Development of Serbia. She has been actively involved in developing educational resources including textbooks, workbooks, and laboratory catalogs. Notably, she co-authored 'Regulation of Electromotor Drives' (2010) and 'Introduction to Automatic Control Systems - Theory and Examples' (2021), along with practical resources like 'Collection of Solved Problems in Electromotor Drives' and catalogs of remote laboratory experiments. Her commitment to innovative teaching approaches is evident in her development of remote experiments for demonstrating current and voltage control of DC motors.
Dr. Vanja Luković is an Associate Professor in the Department of Computer and Software Engineering at the Faculty of Technical Sciences in Čačak, University of Kragujevac, Serbia. With over two decades of academic experience, she has established herself as a prominent researcher in the intersection of computer engineering and biomedical applications, particularly in the development of innovative diagnostic systems for spinal deformities. Her educational background includes a Doctorate in Technical Sciences (2015) with a dissertation on "Ontologically based information system for diagnosing and monitoring spinal deformities," a Master's degree in Electrical Engineering (2007) focusing on visualization systems, and a Bachelor's degree in Electrical Engineering with specialization in Industrial Energy (2000). Dr. Luković's research spans multiple domains including biomedical informatics, ontology development for medical applications, digital circuit design, and educational technology. Her work demonstrates a consistent focus on applying computer engineering principles to solve real-world medical challenges, particularly in the area of scoliosis diagnosis and monitoring. She has pioneered the development of the ScolioMedIS system, a web-based information system for non-invasive 3D visualization and monitoring of spinal deformities. Her publication record reveals a strong trajectory in both medical informatics and computer engineering, with recent work expanding into AI applications for medical diagnostics, data storage optimization, and educational technology. The evolution of her research shows a natural progression from foundational work in ontology development to more applied research in medical diagnostics and educational tools. The first MIMICS INNOVATION AWARD 2016 for the EMEA region awarded by Materialise (Leuven, Belgium) The 3rd place for the early-stage StartUp: ScolioMedIS at the 2nd SwissBioLabs Start-Up Challenge "Diagnostics goes digital" Dr. Luković has led and participated in numerous research projects funded by Serbian Ministry of Science and international collaborations including TEMPUS projects. Her work on remote laboratories for educational purposes has significantly impacted computer engineering education. She has also contributed to multiple textbooks and manuals for digital circuit design education, demonstrating her commitment to pedagogical innovation. Her laboratory work primarily focuses on the Computer Science Laboratory at the Faculty of Technical Sciences, where she has developed remote experiment platforms for digital circuit design education and the ScolioMedIS system for medical applications.
Man-Ki Yoon serves as an Assistant Professor in the Department of Computer Science at North Carolina State University's College of Engineering. His academic journey includes a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign (2017), an M.S. from the same institution (2011), and a B.S. in Computer Science and Engineering from Seoul National University in Korea (2009). Prior to joining NC State, he worked as a research scientist in Computer Science at Yale University. His educational background demonstrates a strong foundation in computer systems with progressive specialization in real-time and embedded computing. The transition from his undergraduate studies in Korea to doctoral research in the United States reflects an international academic trajectory focused on increasingly specialized aspects of computer systems. Yoon's research centers on trustworthy and accountable computing for autonomous systems, with particular emphasis on autonomous vehicles and unmanned aerial vehicles. His work bridges theoretical formal methods with practical security applications in real-time embedded systems and the Internet of Things. This research agenda addresses critical challenges in verifying temporal behavior of real-time applications while maintaining strong security guarantees against timing-based side channel attacks. His approach combines insights from operating systems, security, and distributed systems to develop novel solutions that enable reasoning about fault events, component responsibility, and evidence trustworthiness in complex cyber-physical environments. Analysis of his recent publications reveals a clear evolution in research focus from foundational real-time scheduling problems toward increasingly sophisticated security mechanisms for autonomous systems. His work demonstrates consistent progression from theoretical verification techniques to practical implementations addressing accountability in distributed systems and security challenges in autonomous vehicle ecosystems. The publications show growing emphasis on AI/ML integration with traditional real-time systems, particularly in safety-critical applications where accountability and verifiability remain paramount. NCDOT Transportation Center of Excellence: Sustainable and Resilient Infrastructure – Cyber–Resilient Traffic Management Centers Faculty Research and Professional Development Award IBM Workforce Development Initiative Award SaTC: CORE: Small: Partition-Oblivious Real-Time Hierarchical Scheduling Yale Course-based Undergraduate Research Experience (CURE) Grant Qualcomm Roberto Padovani Scholarship Intel PhD Fellowship Qualcomm Innovation Fellowship Yoon actively mentors students through research projects and teaching, with numerous publications featuring student co-authors spanning topics from autonomous vehicle security to real-time system verification. His current NSF-funded research on partition-oblivious scheduling demonstrates significant grant acquisition capability, addressing fundamental security challenges in real-time hierarchical scheduling where conventional time-partitioning mechanisms fail to achieve strong temporal isolation from a security perspective. This work develops algorithmic solutions enabling non-interference-based security among partitions, allowing systems to employ advanced hardware and software technologies for high-end real-time applications in secure environments. His laboratory environment emphasizes hands-on experimentation with autonomous systems, evidenced by his self-driving car course where students build software systems for miniaturized autonomous vehicles. This practical approach complements theoretical research with tangible implementations, creating a comprehensive research ecosystem that spans from formal verification to physical system deployment.
Sorin Lerner is a Professor and Chair of the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research spans programming languages, program verification, security/privacy, and human-computer interaction (HCI). He actively seeks graduate students and postdocs to join his research group. Education: PhD in Computer Science, University of Washington (2006) Research Interests: Sorin’s work focuses on applying programming language techniques to program verification, security, and live programming environments. His projects include the Rango system for retrieval-augmented proving, Projection Boxes for live programming visualization, and Radar for concurrent program analysis. He also explores gamification in education through Proof Games and Code Spells. Awards: Recipient of the PLDI 2003 Best Paper Award ICSE 2025 Distinguished Paper Award for Rango Teaching: Sorin teaches courses on programming languages (CSE 130, CSE 230), compilers (CSE 231), and specialized topics in automated theorem proving (CSE 291). He emphasizes live programming and interactive tools to enhance learning. Lab & Collaborations: Leads the PL@UCSD research group, collaborating with institutions like Microsoft, Google, and The University of Texas at San Antonio. Projects often involve cross-disciplinary efforts in software reliability, formal methods, and educational technology.
Alberto Luigi Cologni is a Lecturer at the University of Bergamo and Project Manager at e-Novia spa. He holds an MSc in Computer Engineering (2009) and PhD in Mechatronics (2013) from the University of Bergamo. His research focuses on control systems, industrial automation, and mechatronics with applications in polymer processing, robotics, and remote maintenance systems. Key professional roles include Research Assistant at CAL (2014-2015), leading the Touchplant and HOLMES EU-funded projects, and Researcher Assistant at Intellimech (2010). His work spans actuator control, SCADA systems, and embedded software for industrial automation. Research interests emphasize closed-loop control strategies, vibration damping systems, and data-driven approaches in manufacturing processes. He has contributed to over 20 peer-reviewed publications since 2010, addressing topics like anti-sway crane control, modular automation software, and telepresence maintenance systems. His projects often involve collaboration with industrial partners, exemplified by the Cometha and Remote Maintenance systems initiatives. Current teaching includes the Industrial Automation course at University of Bergamo.
C Giuffrida is an Associate Professor at the Faculty of Science, Vrije Universiteit Amsterdam, with affiliations to the Network Institute and the Systems and Network Security group. His research focuses on computer systems security, hardware vulnerabilities, and software reliability. Giuffrida holds a PhD in Computer Systems from Vrije Universiteit Amsterdam (2014). His academic contributions span multiple areas including transient execution attacks, fuzzing techniques, and hardware-software co-design for security. Research Interests: Hardware Security: Investigating vulnerabilities like Spectre, Rowhammer, and speculative execution risks. Software Security: Focusing on memory safety, compiler optimizations, and exploit mitigation strategies. Systems Research: Developing tools like BinRec for binary analysis and VPS for C++ vulnerability protection. His work has been recognized with awards such as the Distinguished Paper Award in 2021. Giuffrida supervises advanced courses in operating systems and hardware security, and has guided 16 PhD theses to completion.
