Marc C.W. Geilen is an Associate Professor at the Electronic Systems group , Eindhoven University of Technology. He leads the Model-Based Design Lab and contributes to the CompSOC Lab and High Tech Systems Center . His work focuses on model-based design methods, design automation, and optimization for real-time and embedded systems. Research Keywords: Cyber-Physical Systems, Real-Time Systems, Embedded Systems, Performance Analysis, Design Automation Key Collaborations: EU ECSEL TRANSACT project, SAM-FMS project, Arrowhead Tools initiative His recent publications address weakly-hard timing constraints in server-based systems, hybrid performance modeling for cyber-physical systems, and neural network optimization for communication. Article trends span Real-Time Scheduling , Trustworthy Modeling , Neural Network Efficiency , and Resource Allocation in distributed environments. Scientific Awards : Partial-Order Reduction for Performance Analysis (2018) Teaching activities include courses in Computational Modeling , Embedded Signal Processing , and Discrete Mathematics . He collaborates across projects like TRANSACT, SAM-FMS, and Arrowhead Tools, focusing on flexible manufacturing and cloud-to-edge transitions.
Kevin J. Kircher is an Assistant Professor at Purdue University in the Departments of Mechanical Engineering and (by courtesy) Electrical and Computer Engineering. He works in Herrick Laboratories and the Institute for Control, Optimization and Networks, focusing on optimization and control strategies for distributed energy resources (DERs) to address climate change, pollution, and energy equity issues. Education: PhD in Mechanical Engineering (Cornell University), Postdoctoral Research in Electrical Engineering (MIT) His research spans DERs like electric vehicles, solar PV, and heat pumps, with a focus on grid interaction and energy system modeling for business/government decisions. He co-developed EDGIE, an open-source MATLAB/Python tool for electrification impact simulation. Recent publications analyze methane emissions in energy infrastructure, predictive HVAC control systems, and grid capacity challenges for residential electrification. His team has secured multiple ASHRAE grants and fellowships, with field studies on thermal storage and grid protection protocols. Mentorship priorities include diversity in energy research, with active recruitment of graduate students skilled in optimization, control theory, and thermal sciences. He leads a course on DERs with open-access materials.
Roopsha Samanta serves as an Assistant Professor in the Department of Computer Science at Purdue University, where she leads the Purdue Formal Methods (PurForM) research group and participates in the Purdue Programming Languages (PurPL) initiative. Her academic foundation includes a PhD from the University of Texas, Austin (2013) and postdoctoral research at the Institute of Science and Technology Austria prior to joining Purdue in 2016. Education: PhD in Computer Science, University of Texas, Austin (2013) Postdoctoral Researcher, Institute of Science and Technology Austria Professor Samanta's research centers on bridging formal methods with programming languages to enhance software reliability, with core expertise in program verification, program synthesis, and concurrency. Her work uniquely targets both professional developers and non-programmers, developing techniques to ensure programs align with user intent through automated reasoning and synthesis. Recent efforts focus on distributed systems verification where traditional methods face scalability challenges. Analysis of her 2020-2024 publications reveals a dominant trajectory in distributed agreement systems, particularly advancing parameterized verification for unbounded process networks. Key innovations include bounded verification techniques for doubly-unbounded systems, explainable synthesis through specification localization, and secure multi-party computation frameworks like HACCLE. Her work consistently integrates theoretical formal methods with practical system implementation. Scientific Awards: NSF CAREER Award (2019) for “Robustness of Inductive Reasoning Engines” Amazon Research Award (2021) supporting secure computation research Her research is primarily funded through competitive grants including the NSF CAREER award and Amazon Research Award, enabling exploration of verification robustness and secure multi-party computation. While specific advising details aren't publicly documented, her leadership of the PurForM group indicates active mentorship of graduate researchers in formal methods. Current projects suggest expanding applications to privacy-preserving technologies and explainable AI-assisted programming. The PurForM research group, under her direction, develops foundational tools for program verification and synthesis with emphasis on distributed and concurrent systems. Collaborations within PurPL and industry partners like Amazon drive translational research from theoretical models to practical verification frameworks applicable to real-world distributed infrastructure.
Dr. Silvia Bonomi serves as an Associate Professor in the Department of Computer, Control and Management Engineering at Sapienza University of Rome, where she has held academic positions since 2006. Her career progression includes Research Fellow (2010-2011), Tenure Track Assistant Professor (2016-2019), and current Associate Professor appointment since 2019. She maintains her office in Room B114 and is actively engaged in research and teaching within the university's engineering faculty. Her educational background includes: PhD in Computer Engineering, Sapienza University of Rome and Institut de Formation Supérieure en Informatique et Communication (IFSIC/IRISA), Rennes, France (completed under advisors Prof. Roberto Baldoni and Prof. Michel Raynal) Dr. Bonomi's research critically examines dynamic distributed systems where entities autonomously join and leave networks, with applications spanning VANETs, airborne networks, social networks, and distributed cloud services. She pioneers work in Byzantine fault tolerance for mobile environments, blockchain security with emphasis on smart contract vulnerability analysis, and resilient cybersecurity frameworks integrating human factors. Her investigations into publish-subscribe systems focus on quality-of-service enhancements, while her peer-to-peer systems research addresses fundamental connectivity challenges in large-scale decentralized environments. This interdisciplinary approach bridges theoretical distributed computing with practical cybersecurity applications. Analysis of her 15 most recent publications (2021-2024) reveals dominant trends in blockchain security (particularly smart contract vulnerability taxonomies and analysis tool efficacy) and fault-tolerant distributed systems (reliable communication under Byzantine faults in dynamic networks). Her work increasingly integrates human factors into cybersecurity models and develops visual analytics for business-centric risk assessment. Publications span top venues including IEEE CSR, OPODIS, SAFECOMP, and journals like Computers & Security, demonstrating consistent contributions to both theoretical foundations and practical cybersecurity implementations.
Professor Simon Devitt is Research Director of the Centre for Quantum Software and Information (QSI) at the University of Technology Sydney's Faculty of Engineering and Information Technology, School of Computer Science. He also holds several prestigious international appointments including InstituteQ Visiting Chair of Excellence in Quantum Technologies at Aalto University, Finland, and visiting positions at RIKEN in Japan. As a leading figure in quantum computing research, he directs the Australian Quantum Software Network and co-founded quantum education startup Eigensystems Pty Ltd. His educational background includes: PhD in Physics from University of Melbourne (2004-2007) BSc (Hons) in Physics from University of Melbourne (2000-2003) Professor Devitt's research spans quantum software, quantum architecture, and quantum error correction, with a focus on making quantum computing practical at scale. His work addresses fundamental challenges in quantum computing architecture when scaled to millions or billions of qubits. He has pioneered approaches to quantum error correction, resource estimation, and quantum network design, particularly through his leadership of the Quantum Technology at Scale (QTS) research group. His research bridges theoretical foundations with practical implementation challenges, aiming to shape the evolution of quantum technology over the coming decades. His recent publications demonstrate a strong focus on practical quantum computing challenges, with particular emphasis on error correction techniques, resource estimation, and quantum architecture. A significant portion of his work addresses the surface code and its variants, exploring ways to optimize qubit usage and error rates. He has also made important contributions to quantum networking, particularly through the concept of "quantum sneakernet," and to quantum education and standardization efforts that will be critical for the emerging quantum industry. His notable awards and recognitions include: Fellow of the Australian Institute of Physics Fellow of the Royal Society of New South Wales Warren Prize from the Royal Society of NSW InstituteQ Visiting Chair of Excellence in Quantum Technology Professor Devitt actively mentors numerous PhD students, postdocs, and researchers through his Quantum Technology at Scale group. His research is supported by significant funding from diverse sources including Google Academic Research Awards, Sydney Quantum Academy, DARPA, and the Japanese Society for the Promotion of Science. He has led projects on quantum sneakernet networks, quantum algorithm benchmarking frameworks, and quantum software tools that address critical challenges in the field. He leads the Quantum Technology at Scale (QTS) research group at UTS, which focuses on the design and architectural challenges of quantum computing and communications technology at scale. The group includes researchers working on quantum computing architectures, quantum networking (Rottnest Quantum Sneakernet project), and quantum software (Quokka project). The team collaborates extensively with international partners including Aalto University in Finland, University of New South Wales, Keio University in Japan, and industry leaders like Rigetti Computing.
Darko Etinger is an Associate Professor and currently serves as the Dean of the Faculty of Informatics at Juraj Dobrila University of Pula in Croatia. His academic career spans over two decades with significant contributions to the fields of information systems, educational technology, and artificial intelligence. He teaches undergraduate courses including Artificial Intelligence, Business Information Systems, Business Process Management, ICT Fundamentals, Information Systems, Introduction to Artificial Intelligence, and Multimedia Systems. At the graduate level, he teaches Development of IT Solutions, IT Management, Modelling and Simulation, and Project Management. He also supervises doctoral research in Management of Information Technologies in Education. Dr. Etinger's research interests span several key areas in computer science and education technology. He has made significant contributions to understanding how information and communication technologies can support children with special educational needs, as evidenced by his 2024 and 2025 books on the topic. His work also focuses on business process management, educational data mining, and the application of artificial intelligence in educational contexts. His 2024 book 'Introduction to R and RStudio' demonstrates his commitment to data science education. Analysis of his recent publications shows a strong focus on practical applications of technology in education and business. His work spans educational robotics, learning management systems analysis, business process modeling, and the application of large language models in healthcare. He has a particular interest in how technology can be made accessible and beneficial for diverse learner populations, including those with special needs. His research often takes a human-centered approach, examining not just the technology itself but how it's adopted and used by end users. His 2025 bibliometric analysis of metaverse security demonstrates his ability to tackle emerging technological challenges. Associate Professor at Faculty of Informatics, Juraj Dobrila University of Pula Current Dean of Faculty of Informatics Author of multiple publications on educational technology and information systems Supervisor for numerous graduate theses on educational technology topics Active participant in EDIH Adria project as evidenced by 2025 publications Researcher in educational robotics implementation in Croatian schools Dr. Etinger has advised numerous students completing their theses, with a focus on educational technology applications. His research has been published in various international conferences and journals including IEEE Engineering Management Review, Procedia Computer Science, and System Dynamics Review. His current research appears to be heavily focused on the EDIH Adria project, which is a European Digital Innovation Hub initiative focusing on technology transfer and business innovation. He maintains an active research program with publications spanning from 2003 to the present, demonstrating sustained scholarly contribution to his fields of expertise.
R. Jayakrishnan , a Professor in the Department of Civil and Environmental Engineering at the Samueli School of Engineering , University of California, Irvine, is a leading researcher in transportation systems engineering. Ph.D., University of Texas, Austin, Civil Engineering, 1992 M.S., University of Texas, Austin, Civil Engineering, 1987 B.S., Indian Institute of Technology, Madras, India, 1985 His research focuses on dynamic traffic assignment , urban traffic simulation , and real-time information systems to improve congested traffic corridors. He is developing advanced dynamic simulation-assignment models for urban traffic networks. Recent publications highlight his contributions to: Crowdsourced delivery optimization using decomposition heuristics Eco-driving algorithms with V2I communication Multi-furniture placement applications via augmented reality Subscription mobility services cost-benefit analysis Agent-based lane-changing coordination systems These works demonstrate his interdisciplinary approach combining transportation engineering, optimization algorithms, and emerging technologies like AR and connected vehicles.
Paul Major is Professor and Chair of the School of Dentistry, Senior Associate Dean (Dental Affairs), and ACFD Project Lead at the University of Alberta's Faculty of Medicine & Dentistry. He leads the Orthodontic Biomechanics Research Group and co-founded the Inter-disciplinary Airway Research Clinic (I-ARC), driving innovation across dental academia and clinical practice. His educational background includes a Doctorate of Dental Surgery (DDS) from the University of Alberta (1980) followed by MSc and Orthodontic Specialty training at the same institution (1988). He joined the academic staff in 1989 and served as Director of the TMD/Orofacial Pain Program (1991-2001) and Orthodontic Graduate Program (2001-2010). Dr. Major's research centers on Orthodontic Biomechanics , 3D Craniofacial Imaging , and Ultrasound Imaging . His Orthodontic Biomechanics Research Group developed the OSIM system for 3D force measurement on dental appliances, while his imaging work pioneers reconstruction of craniofacial structures and periodontal ultrasound diagnostics. Through the I-ARC, he leads interdisciplinary studies on pediatric sleep-disordered breathing, examining craniofacial morphology and orthodontic interventions. Analysis of his 190+ publications reveals consistent innovation in biomechanical analysis of orthodontic appliances, machine learning for dental image processing, and hydrogel development for intraoral imaging. Recent work bridges dentistry with engineering through projects on dental aerosols, clear aligner mechanics, and airway measurement software. Dr. Major has supervised over 75 graduate students while maintaining clinical teaching duties despite administrative leadership roles. His research is supported by grants enabling the OSIM system development and interdisciplinary I-ARC projects. He directs the Orthodontic Biomechanics Research Group's experimental biomechanics work and the I-ARC's clinical research team, which integrates pediatric ENT, pulmonology, radiology, and biomedical engineering specialists to advance treatment of pediatric sleep apnea through craniofacial analysis and innovative imaging techniques.
Shin Yoo is a tenured Full Professor in the School of Computing at Korea Advanced Institute of Science and Technology (KAIST), where he leads the Computational Intelligence for Software Engineering (COINSE) research group. He received his PhD from King's College London in 2009 under the supervision of Prof. Mark Harman. Currently, he serves as the General Chair for ASE 2025, which will be held in Seoul, Korea. Professor Yoo earned his PhD in Computer Science from King's College London (2009), following an MSc in Software Engineering with Distinction from the same institution (2006). His academic journey includes positions as Tenured Associate Professor (2021-2025), Associate Professor (2018-2021), and Assistant Professor (2015-2018) at KAIST, as well as Lecturer and Research Associate positions at University College London and King's College London. His research focuses on the intersection of software engineering and artificial intelligence, particularly in search-based software engineering, software testing, automated debugging, SE4AI (Software Engineering for AI), and AI4SE (AI for Software Engineering). Professor Yoo's work bridges theoretical foundations with practical applications, developing innovative techniques for fault localization, test case generation, and debugging using machine learning and genetic programming approaches. His research has significant implications for improving software reliability and development efficiency in both traditional software systems and AI-powered applications. Professor Yoo's recent publications demonstrate a clear trend toward leveraging large language models and deep learning techniques for software engineering tasks. His work spans fault localization, automated debugging, GUI testing, and program analysis, with increasing focus on the challenges and opportunities presented by AI systems. His research shows a consistent evolution from traditional search-based software engineering to AI/ML-enhanced approaches, reflecting the broader trends in the field. ACM SIGEVO HUMIES Silver Medal (2017) for human competitive application of genetic programming to fault localization research IEEE TCSE Most Influential Paper Award (ICST 2024) for work on mutation-based fault localization Professor Yoo has supervised five PhD students to completion, with his former students now holding positions as assistant professors, post-doctoral researchers, and software engineers at institutions including Kyoungpook National University, Max-Planck Institute Security & Privacy, Università della Svizzera Italiana, Roku Korea, and NUS. He currently serves as an associate editor for the Journal of Empirical Software Engineering and ACM Transactions on Software Engineering and Methodology, and has held significant leadership roles in major software engineering conferences including Program Co-chair for SSBSE (2014), ICST (2018), and ICSE NIER track (2020), General Chair for SSBSE (2022), and Testing & Analysis Area Chair for ICSE (2024). As leader of the Computational Intelligence for Software Engineering (COINSE) group at KAIST, Professor Yoo directs research that combines computational intelligence techniques with software engineering challenges. The group focuses on developing novel approaches to software testing, debugging, and analysis using search-based and AI-driven methods. Their work spans both theoretical foundations and practical implementations, with strong connections to industry challenges and applications.
Dr. Dima Alhadidi is an Associate Professor in the School of Computer Science at the University of Windsor. His research focuses on Cybersecurity, Data Privacy, Machine Learning, and their applications in Health Informatics, Cloud Computing, and Smart Grids. He holds a PhD in Computer Science and Software Engineering from Concordia University (2010). His research interests include secure federated learning frameworks, privacy-preserving techniques for genomic and health data, and adversarial machine learning defenses. Notable contributions include Trustformer (2025), secure aggregation methods in federated learning, and hybrid malware classification using deep learning. Recent work emphasizes mitigating membership inference attacks and developing privacy-preserving analytics for distributed systems. Dr. Alhadidi actively advises graduate students on topics like social network clustering (NICASN 2022) and federated learning security. No scientific awards are explicitly listed. His research spans theoretical frameworks (e.g., λ_AOP calculus) to applied systems in smart grids and healthcare informatics.
Dr. Ali Grami is an Associate Professor in the Department of Electrical, Computer and Software Engineering at Ontario Tech University, within the Faculty of Engineering and Applied Science. He holds a PhD in Electrical Engineering from the University of Toronto (1986), an MEng from McGill University (1980), and a BSc from the University of Manitoba (1978). His research focuses on satellite communications, digital transmission systems, and wireless networks. He has extensive industrial experience, including roles at Telesat Canada and Nortel Networks, and has contributed to pioneering projects like Canada's Anik-F2 Ka-Band satellite system. Dr. Grami has authored several textbooks, including Introduction to Digital Communications and Discrete Mathematics: Essentials and Applications . His work spans theoretical advancements (e.g., beamforming algorithms, spectrum access protocols) and practical applications in broadband satellite systems and cognitive radio networks. Awards include the United Nations TOKTEN Award (1995) and Nortel Award of Excellence (1989). He has designed academic programs at Ontario Tech, including the BEng, MASc/MEng, and PhD in ECE, and contributed to IT security programs. His teaching spans undergraduate and graduate courses in digital transmission, communication systems, and signal processing.
Marco Picone is an Associate Professor at the Department of Sciences and Methods for Engineering (DISMI) of the University of Modena and Reggio Emilia. He leads the Distributed and Pervasive Intelligence (DIPI) Group and holds a PhD in Information Technology from the University of Parma. His postdoctoral research at the University of Parma (2012-2015) and a visiting scholar position at the University of Cambridge (2011) further enriched his expertise. He is nationally qualified as an Associate Professor by MIUR (2020). Education: PhD in Information Technology, University of Parma (Italy) M.Sc. (cum Laude) in Computer Engineering, University of Parma Visiting Researcher, NetOS Group, University of Cambridge (UK) His research focuses on Distributed Systems , IoT , Edge Computing , and Digital Twins , emphasizing their applications in smart industries and cities. He has supervised postdocs (e.g., Matteo Martinelli) and PhD students (e.g., Enrico Rossini) on topics like Digital Twin Continuum and Edge-Cloud Systems. Teaching spans courses on Intelligent IoT , Distributed IoT Software Architectures , and Edge Computing , with a focus on lab-based learning and industry-relevant projects. He actively contributes to open-source frameworks like the White Label Digital Twin (WLDT) and collaborates on initiatives such as the Web of Digital Twins (WoDT). Research collaborations include projects on smart city data fusion, livestock waste management, and Industry 5.0 human-centric systems. His work bridges theoretical advancements with practical implementations in cyber-physical environments.
Dr. Kenneth Kent is a Professor in the Department of Computer Science at the University of New Brunswick (UNB), where he has served for 14 years. He is the Director of the Information Technology Centre (ITC) and heads the Reconfigurable Computing Group. He also serves as Director of the IBM Centre for Advanced Studies - Atlantic and holds an Honorary Professorship at Hochschule Bonn-Rhein-Sieg. His research focuses on hardware/software co-design, reconfigurable computing, virtual machines, and embedded systems. Dr. Kent earned his PhD and Master of Science in Computer Science from the University of Victoria. His work has led to over 100 refereed publications and the supervision of 70+ graduate students. He co-founded WEnTech Solutions Inc., a software firm addressing waste-to-energy optimization. His awards include the IBM Faculty Fellow of the Year and Project of the Year (as Principal Investigator) for contributions to the J9 Java Virtual Machine. His articles span FPGA acceleration, compiler optimization, cloud storage security, and IoT intrusion detection. Recent work emphasizes energy-efficient Node.js systems and advancements in CAD tools like VTR 9 for FPGA architecture. Dr. Kent’s advising and grants include leading the IBM CAS Atlantic and directing industry-academia collaborations. He has pioneered technologies such as the Eclipse OpenJ9 JVM and the CephArmor storage interface, balancing academic research with commercial innovation. He leads the Reconfigurable Computing Group at UNB and collaborates with the Institute for Visual Computing in Germany. His research bridges theoretical computing and practical applications, with a focus on scalable systems and embedded technologies.
Kshirasagar Naik is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, Ontario. He is actively involved in graduate research supervision and has been a member of IEEE since 1994. His academic career spans decades, with a focus on wireless communication, energy efficiency, and cybersecurity. 1992, Doctorate in Computer Engineering from Concordia University, Ontario 1988, Master of Mathematics in Computer Science from University of Waterloo, Ontario 1983, MTech in Computer Engineering from Indian Institute of Technology, Kharagpur, India 1981, BScEng in Electronics and Telecommunication from Sambalpur University, India His research interests include Mobile and Ad Hoc Networks , Cybersecurity , Internet of Things (IoT) , and Intelligent Transportation Systems . He has published extensively on energy optimization in wireless devices, delay-tolerant networks, and security protocols for vehicular systems. Recent publications highlight the integration of Machine Learning and IoT in environmental monitoring, particularly forest fire detection and prediction. Other works focus on cybersecurity , vehicular networks , and energy optimization in data centers and handheld devices. Professor Naik is currently accepting graduate students for research in mobile systems, network protocols, and green computing at the University of Waterloo.
Zebo Peng is a Professor and Deputy Head of Department at Linköping University's Department of Computer and Information Science (IDA), leading the Software and Systems (SAS) division. His research focuses on embedded systems design, electronic design automation, SoC testing, and real-time systems with emphasis on fault tolerance and hardware/software co-design. He has contributed to projects like the ASTECC initiative, funded by the Swedish Foundation for Strategic Research, addressing adaptive software in edge-cloud continuum systems. Key research interests include cyber-physical systems security, time-sensitive networking (TSN), and optimization techniques using genetic algorithms. Recent work explores thermal-aware design for reliability, security-aware scheduling, and stability guarantees in control systems. His publications span journals like IEEE TPDS and ACM TECS, alongside conference contributions on topics like resource management and fault detection in distributed systems. Prof. Peng collaborates extensively within the SAS division, which bridges academic and industrial research in software engineering and computer systems. His team's projects address challenges in real-time systems, embedded security, and parallel computing architectures.
