جست‌وجوی استاد و پژوهشگر

Sven Scheweمشاهده پروفایل

استاد

• Automata Theory
• Game Theory
• Formal Verification
• +۱۲ مورد دیگر

Sven Schewe is a Professor in the Department of Computer Science at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. He leads the AI Section and is a founding member and former leader of the Verification Group. He also has secondary affiliations with the Algorithms, Complexity Theory and Optimisation Group and the Institute for Risk and Uncertainty. Research Interests: His research centers on automata theory and game theory, particularly their applications in the verification and synthesis of reactive and safety-critical systems. He investigates infinite-duration games, automata over infinite words and trees, and develops algorithms and tools for automated verification, synthesis, and learning of optimal control strategies. His work extends to reinforcement learning with formal guarantees, cyber-physical systems, and AI safety. Recent Research Trends: His recent publications demonstrate a strong integration of formal methods with machine learning, particularly in adversarial training, neural network robustness, and model-free reinforcement learning under omega-regular objectives. He also applies formal reasoning to interdisciplinary domains such as chemical space exploration and materials science. Scientific Awards: Finalist for the ERCIM Cor Baayen Award 2010 Dr. Eduard Martin Preis 2009 GI Dissertation Award 2008 Advising and Grants: He actively supervises numerous PhD students and postdoctoral researchers. He is Principal Investigator (PI) or Co-Investigator (CI) on multiple major grants, including EPSRC Programme Grants, Royal Society Fellowships, and Horizon Europe projects. His funded research spans topics such as game theory, verification, synthesis, reinforcement learning, and risk analysis. He has hosted visiting researchers and collaborated internationally with institutions in Germany, France, India, Taiwan, and the US. Labs and Teams: He co-founded and led the Verification Group and previously led the AI Section at the University of Liverpool. These groups focus on formal methods, automata, games, and their applications in AI and safety-critical systems.

Niko Mäkitaloمشاهده پروفایل

استادیار

• Cyber-Physical Systems
• AI/ML Software Engineering
• IoT Architectures
• +۳ مورد دیگر

Niko Mäkitalo is an Assistant Professor at the University of Jyväskylä's Faculty of Information Technology and a member of the University Consortium Chydenius. His research focuses on advancing cyber-physical systems through innovative software architectures for AI, IoT, and the Cloud-Edge Continuum, with significant emphasis on hardware and network infrastructures. He teaches and mentors graduate students in these areas. Research Interests: Mäkitalo's work centers on creating intelligent environments via novel software frameworks, engineering methodologies for distributed AI/ML applications, and addressing ethical/privacy challenges in edge computing. He explores the intersection of agile development practices, third-party code management, and industry standards like IDSA/GAIA-X for AI integration. Key Contributions: His recent work includes studies on software ownership dynamics, regulatory-aware AI deployment, and liquid AI systems. He leads the Empirical Software Engineering Research group and collaborates on initiatives like 6GSoft for edge-cloud software solutions. Advising & Grants: Mäkitalo supervises Master's and Ph.D. candidates in software engineering and systems architecture. His projects often involve industry partnerships to address real-world challenges in smart manufacturing, autonomous systems, and networked environments. Labs/Teams: Active in the Empirical Software Engineering Research group, contributing to cross-disciplinary projects at the University of Jyväskylä's tech innovation ecosystem.

Frank Golatowskiمشاهده پروفایل

پژوهشگر

• Real-Time Embedded Systems
• Distributed Embedded Systems
• Service-oriented Architectures for Embedded Systems
• +۷ مورد دیگر

Frank Golatowski is a researcher at the University of Rostock, affiliated with the Faculty of Computer Science and Electrical Engineering, Institute of Computer Science. He is actively engaged in research and teaching in the field of embedded systems, with a focus on real-time, distributed, and secure architectures for IoT and medical applications. His research interests include: Real-Time and Distributed Embedded Systems Service-oriented Architectures for Embedded Systems Resource-constrained IoT Systems Engineering Safety and Security for Dependable Systems Medical and Industrial Embedded Systems Dr. Golatowski is currently leading or participating in several major research projects funded by BMBF, BMWK, BBSR, and EU programs, including GenerIoT, 6G-Health, KliNet5G, SUSTAIN, and PnP-EMS. His work emphasizes secure, lightweight software deployment, localization in medical networks, IIoT security, and energy management in smart buildings. He has been actively involved in the academic community, serving as program chair, track chair, and publication chair for IEEE conferences such as WFCS, ETFA, and ICPS, and as a TPC member for RSSRail and IECON. He is also a member of the IEEE IES Technical Committee on Factory Automation and OR.NET e.V. Dr. Golatowski teaches advanced courses including Distributed Embedded Systems , Real-Time Systems , and Selected Topics in Medical Embedded Systems at the graduate level. Although no specific publications are listed in the provided text, his work is indexed via Google Scholar, ORCID, and ResearcherID, indicating an established research profile.

Douglas D. Hodsonمشاهده پروفایل

استاد

• Computer Engineering
• Software Engineering
• Real-Time Distributed Simulation
• +۷ مورد دیگر

Douglas D. Hodson is a Professor of Computer Engineering at the Air Force Institute of Technology (AFIT), Wright-Patterson AFB, Ohio, affiliated with the Department of Systems and Engineering Management within the Graduate School of Engineering and Management. He holds a PhD in Computer Engineering from AFIT (2009), an MBA and MS in Electro-Optics from the University of Dayton, and a BS in Physics from Wright State University. His research focuses on computer engineering, software engineering, real-time distributed simulation, and quantum communications , with a strong emphasis on Quantum Key Distribution (QKD) systems, modeling and simulation (M&S), and Live-Virtual-Constructive (LVC) environments. His work integrates cybersecurity, network performance, and advanced simulation frameworks such as AFSIM and SwarmSim. His recent publications (2021–2022) reflect a trend toward secure distributed systems, AI-driven classification, fog modeling in military simulations, and opinion dynamics in social systems. These works span disciplines including cybersecurity, artificial intelligence, defense modeling, and environmental effects in multi-domain operations. Scientific Awards and Honors: IEEE Senior Member (2021) Outstanding Achievement Award, World Congress in CSCE (2018) SOCHE Faculty Excellence Award (2017) Harold Brown Award (2015) Multiple AFIT Civilian Category III Awards (2014, 2013) Dayton Area Graduate Studies Institute Scholar (2003–2007) Rev. Raymond A. Roesch, S.M., Award of Excellence, University of Dayton MBA (1998) Advising and Grants: Dr. Hodson has advised numerous graduate students, many of whom are co-authors on his publications. His research has been supported by AFIT, AETC, and collaborative defense-focused grants, particularly in quantum communications and simulation technologies. He has led or contributed to teams receiving Air Force Modeling and Simulation Team Awards and QKD Research Team Awards. Labs and Teams: He is a key contributor to the AFIT Quantum Communications and Modeling & Simulation research teams, working on projects involving AFSIM, QKD system modeling, decoy state protocols, and swarm UAV simulation. His lab environment fosters interdisciplinary collaboration in cybersecurity, physics, and software engineering.

Israat Haqueمشاهده پروفایل

دانشیار

• Software-defined Networking (SDN)
• Cyber-physical Systems (CPS)
• Internet of Things (IoT)
• +۱۲ مورد دیگر

Dr. Israat Haque is an Associate Professor in the Faculty of Computer Science at Dalhousie University, Halifax, where she leads the Programmable and Intelligent Networking (PINet) research group. She also holds an adjunct professorship in the Department of Computing Science at the University of Alberta. PhD in Computer Science, University of Alberta NSERC Postdoctoral Fellow, University of California, Riverside MSc in Computer Science, Concordia University Her research focuses on developing high-performance, secure, and dependable distributed and emerging networking systems, with key interests in Software-Defined Networking (SDN), Cyber-physical Systems (CPS), Internet of Things (IoT), 5G/6G technologies, and AI/ML applications in networking. She applies data-driven approaches to solve real-world problems in network programmability, stream processing, and edge/cloud computing. The 15 most recent publications highlight a strong trend in in-network computing, IoT security, AI-driven network reliability, and stream processing. Her work spans from theoretical surveys to practical system implementations, often leveraging programmable data planes (P4), machine learning, and hardware acceleration to address challenges in performance, security, and fairness in distributed systems. Dr. Haque has received numerous prestigious recognitions: IEEE/ACM N2Women Rising Star Award (2021) ACM FAccT Best Paper Award (2023) IEEE WICE Outstanding Mentoring Award (2025) University of Alberta Alumni Honour Award (2024) Digital Nova Scotia Thinking Forward Award (2022) Intel Fast Forward Initiative Winner (2022) President’s Research Excellence Award, Dalhousie (2021) She actively mentors PhD and MSc students and leads externally funded research projects, including a Canada First Research Excellence Fund (CFREF)-supported initiative on Securing Smart Environments. She has served on editorial boards of IEEE Transactions on Vehicular Technology and IEEE Communications Magazine, and on program committees of top conferences such as IEEE ICNP, IEEE NetSoft, and ACM SIGCOMM. Her lab, PINet, fosters innovation in networking systems and produces high-impact research with real-world applicability. Dr. Haque leads the PINet research group, which includes current PhD and MSc students working on cutting-edge topics like post-quantum cryptography, network programmability for security, and large ML model security. The group collaborates with institutions such as the University of Alberta, Laval University, and Concordia, and has strong industry ties with Intel, Meta, Amazon, and Facebook.

Sanjoy Paulمشاهده پروفایل

دانشیار

• Supply Chain Risk Management
• Supply Chain Resilience
• Sustainable Supply Chain Management
• +۳ مورد دیگر

Sanjoy Paul is an Associate Professor at the University of Technology Sydney (UTS) Business School, specializing in supply chain management and operations research. He holds roles as Associate Editor of Business Strategy and the Environment and Global Journal of Flexible Systems Management . His research focuses on supply chain resilience, risk modeling, and sustainable practices, with applications to global disruptions like pandemics and IT outages. Paul has published in top-tier journals such as the European Journal of Operational Research and secured grants from government bodies including the Department of Defence. Education and Career: Prior to UTS, he worked at RMIT University and Bangladesh University of Engineering and Technology. He holds a PhD from UNSW, recognized with the Stephen Fester Prize for outstanding thesis. His career spans academic roles from Lecturer (2017) to Senior Lecturer (2019) before his current position since 2023. Research Contributions: Paul’s work bridges theoretical models and real-world applications, including recovery frameworks for supply chains during crises and strategies for sustainable practices in post-pandemic contexts. He frequently advises media on supermarket pricing, supply chain disruptions, and business strategies, appearing in outlets like The Guardian and ABC News . Awards and Recognition: His honors include the ASOR Rising Star Award, Research with Relevance Award, and inclusion in the top 2% global scientists (2020–2023). He has contributed to policy debates on supermarket competition, EV market dynamics, and Australia’s industrial strategies.

Farzaneh Derakhshanمشاهده پروفایل

استادیار

• Concurrency
• Formal Methods
• Programming Languages
• +۴ مورد دیگر

Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology. She received her Ph.D. in Pure and Applied Logic from Carnegie Mellon University in 2021 under Prof. Frank Pfenning and completed a postdoctoral fellowship at CMU with Profs. Limin Jia and Stephanie Balzer. Her research focuses on formal methods for concurrent and secure systems. Education: Ph.D. in Pure and Applied Logic, Carnegie Mellon University (2021) Dr. Derakhshan's research explores logical foundations for concurrent program design, emphasizing correctness guarantees (safety, reactivity) and security properties (fault tolerance, side-channel protection). Current projects include modal logics for under/over-approximation, relational logic for GPU security, type systems for intermittent computing, and behavioral types for security enforcement. Her work bridges theoretical logic with practical systems challenges. Recent publications (2021-2025) reveal strong thematic continuity in concurrency, security, and formal verification. Key trends include session-typed process models for secure communication, modal type systems for intermittent computing, and logical frameworks for program assurance. These contributions demonstrate consistent innovation at the intersection of programming languages, logic, and cybersecurity. Scientific Awards: No scientific awards are mentioned in the provided text. Advising and Research Funding: Current Students: PhD: Godha Pallavi Bhogadi, Myra Dotzel, Lang Liu; Master's: Akash Madhu Former Students: Narasimha Karthik G. (MS), Griffin Colomer (BSc) Grants: NSF SaTC CORE #2350217: "Mixed Assurance Reasoning via Modal Logic" (2024) Dr. Derakhshan leads an active research group focused on programming language security, collaborating with Carnegie Mellon University researchers. She co-organizes community initiatives including the 2026 Dagstuhl Seminar on Behavioural Types for Resilience and serves on multiple program committees for top programming languages conferences.

Federico Reghenzaniمشاهده پروفایل

استادیار

• Computer Science
• Embedded Systems
• Fault Tolerance
• +۳ مورد دیگر

Federico Reghenzani is an Assistant Professor at Politecnico di Milano in the Department of Electronics, Information and Bioengineering. His research focuses on computer science, embedded systems, fault tolerance, high-performance computing, real-time systems, and compiler technology. He leads the HEAP Lab where his team investigates reliability engineering and hardware-software co-design for safety-critical applications. Reghenzani's research examines software-based approaches to hardware fault tolerance, compiler technologies for reliability enhancement, and resource management in high-performance computing environments. His work has significant applications in aerospace systems, real-time embedded platforms, and next-generation computing architectures. His publications demonstrate a consistent focus on improving system reliability through compiler techniques, fault injection methodologies, and hardware-software co-design. The research spans theoretical frameworks, practical implementations, and experimental validation across diverse computing environments.

• Cybersecurity
• Machine Learning
• Network Security
• +۶ مورد دیگر

Dr. Zhiyuan Tan is an Associate Professor in the School of Computing at Edinburgh Napier University (ENU), specializing in cybersecurity research. He holds a PhD in Computer Systems from the University of Technology Sydney (UTS), Australia (2014), an MEng from Beijing University of Technology, China (2008), and a BEng with high distinction from North-eastern University, China (2005). Before joining ENU in 2016, Dr. Tan held research positions at the University of Twente (Netherlands), University of Technology Sydney (Australia), and La Trobe University (Australia). Dr. Tan's research focuses on cybersecurity, machine learning, data analytics, virtualisation, and cyber-physical systems. His work has resulted in over 44 scholarly publications with an H-Index of 13 and more than 830 citations according to Google Scholar. His recent publications demonstrate a continued focus on network security, intrusion detection systems, and the application of machine learning techniques to cybersecurity challenges, with publications spanning from 2022-2025 in top venues including IEEE Transactions and international conferences. Dr. Tan has received significant research funding, including AUD 27,800 from CSIRO and UTS for autonomous network intrusion detection research and £6,987 from ENU for securing future 5G health care systems. His research has been recognized with awards including the National Research Award 2017 from the Research Council of the Sultanate of Oman, a Best Paper Award, and the Kaspersky Lab's Annual Student Cyber Security Conference Finalist Award. National Research Award 2017 from the Research Council of the Sultanate of Oman Best Paper Award Kaspersky Lab's Annual Student Cyber Security Conference Finalist Award Dr. Tan has mentored 9 PhD students over the past 5 years, with 6 successfully completing their studies. His students have produced 12 journal and 10 conference publications. He has also served as an editorial board member for international journals, organized special issues, and participated as a technical program committee member for major international conferences. Dr. Tan is currently recruiting PhD students for research projects on network security, adversarial machine learning for anomaly/malware detection, virtualization security, and IoT security.

Fuyuan Zhangمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Cybersecurity
• Formal Methods
• +۷ مورد دیگر

Fuyuan Zhang is a Postdoctoral Researcher at the Max Planck Institute for Software Systems, specializing in advanced software testing methodologies and formal verification techniques. His research focuses on improving the reliability and security of AI systems, quantum computing frameworks, and concurrent systems through innovative testing criteria, adversarial attacks, and compositional reasoning. Key areas of expertise include: Large Language Model (LLM) testing and validation Quantum program analysis and security Adversarial machine learning and neural network robustness Formal verification of concurrent and cyber-physical systems Automated bug detection in complex software systems His work bridges theoretical foundations with practical applications, addressing critical challenges in AI safety, quantum software reliability, and system-wide security certification.

• Data Privacy
• Cyber Security
• Cloud Security
• +۵ مورد دیگر

Professor Xun Yi is a faculty member at RMIT University's School of Computing Technologies, specializing in cybersecurity, data privacy, and distributed computing. His research focuses on privacy-preserving technologies in cloud systems, blockchain applications, federated learning, and secure communication protocols. He has published over 150 papers in top-tier journals and conferences, including IEEE Transactions on Dependable and Secure Computing. Since 2014, he has served as an Associate Editor for the IEEE Transactions on Dependable and Secure Computing, and has organized major events like the Australasian Information Security Conference (AISC) in 2015 and 2016. Professor Yi actively supervises PhD and Master's research projects, focusing on topics like secure IoT systems, privacy-aware machine learning, and blockchain-enabled frameworks. His work emphasizes practical solutions for real-world challenges in data security and privacy. Research Interests: Data Privacy, Cyber Security, Cloud Security, Wireless/Mobile Security, Applied Cryptography Blockchain-based Systems, Federated Learning, Privacy-Preserving AI Recent Contributions: Developed frameworks for secure data aggregation in smart grids and healthcare systems Advanced techniques for privacy-preserving federated learning and graph neural networks Contributed to standards for secure authentication in vehicular networks (VANETs) Supervision: Open to mentoring students in cybersecurity, privacy-enhancing technologies, and IoT security.

Jan Peleskaمشاهده پروفایل

استاد

• Formal Methods
• Dependable Systems
• Distributed Systems
• +۸ مورد دیگر

Jan Peleska is a Professor at the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bremen. He is a member of the Bremen Institute of Safe Systems (BISS) and co-editor of the BISS Monographs series. His research focuses on the application of formal methods and model-based testing to safety-critical embedded systems in domains such as avionics, railways, and automotive engineering. Affiliation: University of Bremen, TZI (Center for Computing Technology), BISS (Bremen Institute of Safe Systems) Academic Role: Professor of Computer Science Research Interests Peleska’s work emphasizes formal methods for dependable systems, particularly distributed and reactive real-time systems. Key areas include: Formal methods (safety, reliability, availability, security) Development of fault-tolerant systems Test automation for reactive systems Tools development for formal methods Integration with software development standards His research is applied to industrial projects involving safety-critical embedded systems, such as avionic systems and railway control systems. A comprehensive overview is provided in his Habilitation Thesis: Formal Methods and the Development of Dependable Systems . Publication Trends Peleska’s recent publications (2012–2022) focus on model-based testing (e.g., symbolic finite state machines, CSP refinement), standardisation of autonomous train control, and tools for automated testing. His work addresses challenges in railway interlocking systems, avionic software verification, and hybrid system validation, often combining formal methods with practical industrial applications. Scientific Awards Best Paper Award at FORMS/FORMAT 2014 Best Paper Award at QA+Test 2007 Other Responsibilities Peleska co-manages the Post Graduate Programme Embedded Systems GESy and serves as a shareholder/consultant for Verified Systems International GmbH. He has delivered invited lectures on industrial verification, model-based testing, and formal methods at institutions like the University of Tunghai (2016) and workshops including CyPhyAssure Spring School (2019).

• Software Performance Engineering
• Microservice Architectures
• Cyber-Physical Systems
• +۳ مورد دیگر

Catia Trubiani is a faculty member at the Gran Sasso Science Institute in L'Aquila, Italy, specializing in software performance engineering, architectural analysis, and cyber-physical systems. Her work bridges theoretical modeling with practical applications, focusing on performance antipatterns, uncertainty quantification, and DevOps practices. In research , she explores performance modeling of microservices, federated learning systems, and cyber-physical systems, with a strong emphasis on architectural decision-making under uncertainty. Her recent articles analyze performance regression testing, aging detection in networks, and anti-pattern correlation in distributed systems, reflecting her interest in robust, scalable software solutions. She collaborates extensively with researchers like Raffaela Mirandola , Alberto Avritzer , and Riccardo Pinciroli , contributing to tools and frameworks such as PLUS (Performance Learning for Uncertainty of Software) and VisArch (Visualisation of Performance-Based Architectural Refactorings). Her work has been published in journals including IEEE Transactions on Software Engineering and Future Generation Computer Systems , as well as conferences like ICSE, ECSA, and ICPE.

• Embedded Systems
• Hardware/Software Co-design
• Energy-efficient AI Accelerators
• +۷ مورد دیگر

Oliver Bringmann is a full Professor and head of the Chair of Embedded Systems at the University of Tübingen, Germany, and a member of the board of directors at the FZI Research Center for Information Technology. His research integrates embedded-system design, energy-efficient AI accelerators, dependable automotive perception, and medical AI for capsule endoscopy. Education & Career Ph.D. in Computer Science, University of Tübingen, 2001 Diploma in Computer Science, University of Karlsruhe (KIT) Head, Chair of Embedded Systems, University of Tübingen (since 2012) Deputy spokesperson & spokesperson, Dept. of Computer Science, University of Tübingen (2014-2022) Board of Directors, FZI Research Center for Information Technology Research Interests Bringmann’s group pioneers hardware/software co-design for ultra-low-power Edge-AI , developing RISC-V based accelerators, compiler-aware neural-architecture search, and real-time perception systems for autonomous driving and medical devices. Key topics include: Energy-efficient AI architectures (“Edge AI”) and custom accelerator generation Robust collective perception under adverse weather (LiDAR, camera, V2X fusion) Timing/power-predictable embedded software and system-on-chip design automation Hardware-assisted security and safety for automotive & IoT systems AI-driven capsule endoscopy localization and anomaly detection Recent Publication Trends His 2024-2025 articles reveal a strong shift toward robust multimodal perception for automated driving (snow, fog, collective LiDAR fusion) and Edge-AI medical devices (capsule endoscopy with multi-task CNNs). Core contributions span dataset generation (SCOPE, SnowyLane), safety metrics (LSM), and fast performance modeling for DNN accelerators. Professional Service & Projects Executive/Steering Committees: IEEE/ACM DATE, CODES+ISSS, CASES, ITSS conferences EU CATRENE EDA roadmap chapter lead (Embedded Software & ESL-to-RTL) Principal investigator in Scale4Edge, OCEAN12, enerDAG and other national projects on energy-efficient sensorics and secure energy trading. His group maintains extensive collaborations with automotive and semiconductor industry, focusing on dependable, energy-aware embedded intelligence.

Jason Jaskolkaمشاهده پروفایل

دانشیار

• Cyber Security Evaluation
• Security Assurance
• Formal Methods
• +۴ مورد دیگر

Jason Jaskolka is an Associate Professor in the Department of Systems and Computer Engineering at Carleton University, part of the Faculty of Engineering and Design. He holds a Ph.D. from McMaster University and is a licensed Professional Engineer in Ontario. His research focuses on cyber security evaluation and assurance, formal methods, and secure software engineering. He leads the Cyber Security Evaluation and Assurance (CyberSEA) Lab, emphasizing security-by-design principles for complex systems like industrial control systems and IoT-enabled healthcare. Education: Ph.D. (Software Engineering, McMaster University, 2015), M.A.Sc. (Software Engineering, McMaster University, 2010), B.Eng. (Software Engineering and Game Design, McMaster University, 2009). Research interests include: Cyber Security Evaluation & Assurance, Data-Driven Security Metrics, Formal Verification of Security Properties, Secure Software Architecture Design, and Industrial Cyber-Physical Systems Security. His work addresses challenges in threat modeling, compliance with security standards, and mitigating implicit system vulnerabilities. Recognition includes the 2021 New Faculty Excellence in Teaching Award for innovative pedagogy. He actively supervises graduate students in funded research positions. Key collaborations include Health Canada's Scientific Advisory Committee on Digital Health Technologies and the U.S. Department of Homeland Security’s Cybersecurity Postdoctoral Fellowship at Stanford University. Labs/Teams: CyberSEA Lab, focusing on developing rigorous security evaluation frameworks and tools for software-dependent systems.