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

Sufian Yousefمشاهده پروفایل

دانشیار

• Wireless Networks
• RF Systems
• Noise Cancellation
• +۸ مورد دیگر

Associate Professor at Anglia Ruskin University's School of Engineering and the Built Environment within the Faculty of Science and Engineering. Director of the Telecommunications Engineering Research Group with expertise in electronic design of telecommunication networks and wireless systems. Education: PhD in Telecommunication Engineering, Anglia Ruskin University MSc in Telecommunications Systems Management, Anglia Polytechnic University BSc in Electrical & Electronic Engineering, Baghdad University Research focuses on wireless networks , RF systems , noise cancellation , and mobile communications across 2G-5G generations. His work extends to cyber security , RF MEMs , mobile ad hoc networks , and emerging areas including cloud computing and artificial intelligence in networking systems. Recent publications reveal strong emphasis on network performance optimization, security enhancements, and energy efficiency in wireless systems, with significant contributions to mobile ad hoc networks, cloud offloading algorithms, and software-defined networking architectures. Awards: Royal Academy of Engineering award (1999) Supervised 12 PhD students and 2 MPhil students to completion as primary supervisor, with 2 additional PhD completions as secondary supervisor. Currently guides 4 PhD candidates. Secured competitive grants including Newton-Bhabha Fund (2016) and UKIERI UK-India Education and Research Initiative (2014-2016) for collaborative research in mobile accessibility and network security. Leads consortium bids for EU Horizon 2020 projects and directs research in RF MEMs sensor design and mobile multiprotocol switches, with active industry collaborations including Sedgewall Ltd and Glazing Vision.

Daniel Rogersمشاهده پروفایل

مدرس

• Computer Science
• Software Engineering
• Data Science
• +۱ مورد دیگر

Daniel Rogers serves as a Lecturer in the Department of Computing Sciences at the State University of New York at Brockport. His office is located in Brown Building 108, and he can be reached via telephone at (585) 395-5762 or email at drogers@brockport.edu. His research interests span core areas of modern computing disciplines, with emphasis on practical applications and theoretical foundations. The following key domains define his academic focus: Computer Science Software Engineering Data Science Information Systems

Dong Jae Kimمشاهده پروفایل

استاد

• Software Engineering
• Software Testing
• Mining Software Repositories

Dong Jae Kim is a Professor at DePaul University in the United States, actively contributing to the software engineering community through research and conference service. He serves on program committees for major venues including ICSE, ESEC/FSE, ASE, and CASCON, and maintains a professional presence via his personal website and Twitter account. His academic profile reflects deep engagement with empirical software engineering research and emerging AI methodologies. Kim's research centers on Software Engineering with specialized focus on Software Testing and Mining Software Repositories. He investigates critical challenges in test code maintenance, particularly how object-oriented features like inheritance and interfaces impact test quality. His work increasingly integrates artificial intelligence, especially large language models, for tasks including log analysis, fault localization, and code generation. This dual emphasis on foundational testing principles and cutting-edge AI applications defines his scholarly identity. Analysis of Kim's publication trajectory from 2020-2026 reveals a strategic evolution toward AI-enhanced software engineering. Early work established empirical foundations in test smell evolution, while recent publications demonstrate sophisticated application of large language models to log parsing (LibreLog, LLMParser), fault localization (Order Matters!), and code generation (SOEN-101). The consistent thread through his research is rigorous empirical validation of practical tools, with growing emphasis on benchmarking open-source AI solutions for real-world software engineering problems. No scientific awards, fellowships, or medals were documented in available sources. Similarly, no information was found regarding graduate students advised by Kim or details of research grants secured. Laboratory affiliations, research teams, and collaborative projects remain unspecified in current records. Future research directions appear oriented toward refining AI-driven approaches for software maintenance tasks, particularly in log analysis and test code optimization, though explicit future work statements were not identified.

Dustin Schroederمشاهده پروفایل

دانشیار

• Geophysics
• Glaciology
• Planetary Science
• +۳ مورد دیگر

Roles and Affiliations: Dustin Schroeder is an Associate Professor of Geophysics and of Electrical Engineering at Stanford University, and a Senior Fellow at the Woods Institute for the Environment. He leads the Stanford Radio Glaciology group, focusing on advancing radar technologies for ice-sheet observation. Research Interests: His work integrates radar engineering and Earth system science to study ice-water interactions in polar regions and icy moons. Key areas include subglacial dynamics, ice-sheet stability, and Europa exploration. He develops innovative radar systems like ORCA and MAPPERR for high-resolution subsurface imaging and environmental monitoring. Labs/Teams: He directs the Stanford Radio Glaciology group, collaborating on projects such as the Europa Clipper mission and BEDMAP3 ice-sheet mapping. His work bridges geophysics, electrical engineering, and planetary science, emphasizing interdisciplinary approaches. Grants and Projects: Involved in NASA missions (e.g., Europa Clipper) and international collaborations like ROSETTA-Ice. His research addresses urgent climate questions, such as Antarctica's contribution to sea-level rise and ice-shell processes on icy moons.

Katalin Fazekasمشاهده پروفایل

استادیار

• Formal Verification
• SAT Solving
• SMT Solving
• +۳ مورد دیگر

Katalin Fazekas is an Assistant Professor in the Formal Methods in Systems Engineering group at TU Wien. Her research focuses on improving incremental reasoning methods for SAT/SMT solvers and advancing formal verification techniques. She holds a PhD from the Johannes Kepler University Linz, supervised by Armin Biere. Education: PhD in Logical Methods in Computer Science (LogiCS), JKU Linz (2016–2021) Research Interests: Incremental SAT/SMT solving Formal verification of distributed systems Algorithm optimization for constraint solving Automated reasoning and proof generation Key Projects: INCR (2021–2024) : Austrian Science Fund (FWF) project on scalable verification via incremental reasoning REVEAL-AI and SLIM : Collaborative projects on AI-driven formal methods Awards: Hertha Firnberg Fellowship (FWF), 2021–2024 Tools Developed: CaDiCaL 2.0: Advanced SAT solver QSM: Quantified symmetric minimization framework for distributed protocols Lab/Affiliations: FORSYTE research group, TU Wien.

Cem Ersoyمشاهده پروفایل

استاد

• Wireless Networks and Mobile Applications
• Pervasive Health
• Internet of Things
• +۱۲ مورد دیگر

Cem Ersoy is a full Professor at the Department of Computer Engineering, Boğaziçi University, Istanbul, Turkey. He serves as the Vice Director of TETAM and leads the Computer Networks Research Laboratory (NetLab), driving forward research in wireless networks, pervasive health, IoT, 5G, SDN, and emerging air computing paradigms. His research spans cutting-edge domains such as air computing, edge intelligence, wearable stress monitoring, indoor localization, and smart city neurocomputing challenges. By integrating deep reinforcement learning, probabilistic modeling, and IoT systems, his work aims to create unobtrusive, scalable, and adaptive computing solutions for real-life environments. Recent publications reveal a strong focus on air computing as a novel computation paradigm, leveraging multi-agent deep learning and simulation frameworks. Another major trend is wearable-based affect and stress monitoring , where semi-supervised learning and explainable AI reduce labeling burdens while enhancing real-life applicability. Additional work addresses edge computing orchestration , network slicing , and live video streaming optimization using SDN and reinforcement learning. Prof. Ersoy actively advises graduate researchers and leads funded projects in national and international arenas, although specific grant titles and student names are not listed in the source. His lab, NetLab, provides a collaborative environment for innovations in computer networks, IoT, and pervasive health technologies.

Omar Ramahiمشاهده پروفایل

استاد

• Electromagnetics
• Biomedical Engineering
• Renewable Energy
• +۴ مورد دیگر

Dr. Omar Ramahi is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, leading the Advanced Concepts Research (ACR) Laboratory. He holds a PhD from the University of Illinois at Urbana-Champaign and has held academic positions at the University of Maryland and industry roles at Digital Equipment Corporation. His research focuses on electromagnetic phenomena, biomedical applications, renewable energy, and metamaterials, with over 500 publications and co-authorship of the textbook EMI/EMC Computational Modeling Handbook . Education: PhD, Electrical and Computer Engineering, University of Illinois (1990) MSc, Electrical and Computer Engineering, University of Illinois (1986) BSc (Mathematics) & BSc (Electrical Engineering), Oregon State University (1984) Research Interests: Radiating systems and antennas Biomedical imaging and sensing (e.g., breast cancer detection, bone fractures) Electromagnetic compatibility (EMC) and interference Metamaterials and metasurfaces Renewable energy harvesting and wireless power transfer Low-frequency electromagnetic tomography Awards: IEEE Electromagnetic Compatibility Society Technical Achievement Award (2012) University of Waterloo Research Excellence Award (2022) IEEE Fellow (Elected) 2010 Excellence in Graduate Supervision Award Advising & Labs: Directed over 30 PhD and MS students, many now faculty globally. ACR Lab develops wearable health sensors, radar-based medical imaging, and energy harvesting systems. Notable projects: Jewelry-based health monitors, microwave breast cancer detection, UAV classification via radar.

Rajibul Islamمشاهده پروفایل

دانشیار

• Quantum Computing
• Quantum Simulation
• Trapped Ion Physics
• +۳ مورد دیگر

Rajibul Islam is an Associate Professor at the University of Waterloo, affiliated with the Institute for Quantum Computing (IQC) and the Department of Physics and Astronomy. His research focuses on quantum computing and quantum simulation using trapped ions, with contributions to quantum control, spin systems, and optical engineering. He leads the Quantum Information Technology and Ion Trapping (QITI) group. His work bridges theoretical models with experimental implementations in ion trap systems. Key areas of research include programmable spin simulations, qubit preservation, and quantum error correction. He has developed novel techniques for ion trap fabrication and optical addressing systems to enhance scalability. His experimental setups often involve hybrid optical cavities and advanced laser systems to achieve precise quantum control. Rajibul's recent work emphasizes scalable quantum architectures, leveraging machine learning for system optimization and holographic methods for high-precision control. His contributions span both foundational quantum physics and applied technologies for quantum information processing.

Boris Koldehofeمشاهده پروفایل

استاد

• Networked and Distributed Systems
• Middleware
• Event-based Systems
• +۷ مورد دیگر

Boris Koldehofe is a Professor of Computer Networks at the University of Groningen's Faculty of Science and Engineering, where he leads research in distributed systems and network technologies. He also maintains significant academic connections as an Adjunct Professor at TU Darmstadt (as part of the DFG Collaborative Research Centre 1053 MAKI) and recently joined TU Ilmenau as Professor heading the Distributed Systems and Operating Systems Group. His educational background includes a Habilitation in Communications and Distributed Systems from Technische Universität Darmstadt (2019), a Ph.D. from Chalmers University of Technology (2005), and a Diplom in Informatik from Universität des Saarlandes (1999). Throughout his career, he has held positions at prestigious institutions including Technische Universität Darmstadt, Universität Stuttgart, EPFL, and Ruprecht-Karls-Universität Heidelberg. Koldehofe's research focuses on networked and distributed systems with particular emphasis on middleware, event-based systems, software-defined networking, and the emerging field of in-network computing. His work has evolved significantly toward energy-efficient cognitive computing, especially through the exploration of memristor-based technologies for network functions. His research addresses critical challenges in distributed systems performance, privacy, and adaptability in increasingly complex network environments. His recent publications demonstrate a clear trajectory toward energy-efficient network computing, with a significant portion of his work in the last three years focusing on memristor applications for cognitive network functions, in-network data stream processing, and privacy-preserving analytics. His research bridges theoretical distributed systems concepts with practical networking implementations, particularly leveraging programmable data planes and novel hardware architectures. 2019 ACM Service Recognition Award for organizing the 13th ACM Conference on Distributed and Event-Based Systems 2017 Best Research Paper at ACM USENIX Middleware Conference 2015 Ausgezeichneter Ort Land der Ideen (Excellent innovation with CRC MAKI) As an academic advisor, Koldehofe has supervised several doctoral students including Manisha Luthra (awarded KUVS Dissertation Award for 'Network-centric Complex Event Processing') and Saad Saleh (who successfully defended his PhD on memristor-based computing architectures). His research has been supported by numerous grants including DFG-funded projects like 'DynSDN', industry collaborations with Deutsche Telekom, and participation in the CogniGron research center focused on cognitive systems and materials. He leads the Distributed Systems Group at University of Groningen and collaborates extensively with research teams at TU Ilmenau and TU Darmstadt through the MAKI research center.

• Computer Networks
• Networked Systems
• Network Resilience
• +۳ مورد دیگر

Charalampos Rotsos is a Senior Lecturer in Computer Networks and Networked Systems at Lancaster University's School of Computing and Communications . He leads research in network resilience, programmability, and virtualization. Current projects: DSI: DVAC (Data-driven Visualisation and Aggregation of Cyber vulnerabilities) Research groups: SCC (Networking), i-DID Research Focus : His work spans intent-based networking, middlebox resilience, software-defined networking (SDN), network virtualization (NFV), and cybersecurity. Recent studies include semantic intent translation frameworks (SWIFT), virtualization-driven resilience (REMEDIATE), and state mirroring for middleboxes (Katoptron). Collaborative Efforts : He contributes to projects like NG-CDI (Future Network Intelligence) and develops tools for emulation automation (NES), network policy inference (Reasonet), and high-speed network evaluation (OFLOPS-SUME). PhD Supervision : Mentors students including Paul Alcock, Revika Anand, and Alexander Jung in networked systems research. Collaborates with PhD students in the SCC (Networking) group. Contact : Office D14, InfoLab21. Email: c.rotsos@lancaster.ac.uk

• Network Security
• Decentralized Systems
• Privacy-Preserving Technologies
• +۷ مورد دیگر

Prof. Björn Scheuermann is a Professor in the Department of Computer Science at Technische Universität Kaiserslautern, Germany. His research focuses on network security, decentralized systems, privacy-preserving technologies, and distributed algorithms. He has contributed to foundational work on anonymization protocols (e.g., Tor improvements), blockchain systems, and vehicular networks. His work often bridges theoretical computer science with practical implementations in domains like satellite communication and industrial IoT. Key areas of research include: Decentralized Systems: Analysis of IPFS, Bitcoin, and blockchain architectures. Anonymity Networks: Improving Tor's fairness and privacy guarantees. Network Security: Collaborative intrusion detection in SDN, firewall acceleration via FPGA. Wireless & Satellite: Optimizing data transmission for low-earth-orbit satellites and industrial sensors. Recent trends in his publications emphasize: Integration of machine learning for adaptive network security (e.g., COML-IDS framework). Dynamic routing protocols for fault tolerance (e.g., OD³R). Privacy in emerging technologies like mobile data donation apps and decentralized storage. His work has been published in top-tier venues like IEEE/ACM Transactions, IFIP Networking, and ACM SIGCOMM workshops. Collaborations span academia and industry, focusing on practical applications of secure and efficient network architectures.

Vuk Marojevicمشاهده پروفایل

دانشیار

• Wireless Communications
• Software-Defined Radio
• Open Radio Access Networks (O-RAN)
• +۷ مورد دیگر

Dr. Vuk Marojevic is an Associate Professor in the Department of Electrical and Computer Engineering at Mississippi State University (MSU), holding the Paul B. Jacob Chair. He leads research in wireless communications, focusing on open radio access networks (O-RAN), AI-driven security, and UAV (drone) communications. His work emphasizes software-defined radio (SDR), spectrum sharing, and testbed development for 5G/6G networks. Education: Ph.D. and M.S. in Electrical Engineering from Barcelona Tech–UPC (Spain) and University of Hannover (Germany), respectively. Key projects include leading NSF-funded initiatives like AERPAW and Open Artificial Intelligence Cellular (OAIC), which prototype AI-enabled control systems for cellular networks. He also co-designed the AERPAW testbed for UAV experimentation. Research interests span O-RAN security, AI at the physical layer, wireless security protocols, and vehicular communications. His contributions include open-source implementations of 4G/5G protocols and frameworks for secure slicing and intrusion detection in O-RAN deployments. He actively collaborates with industry and academic partners to advance standards for unmanned aircraft systems (UAS) in cellular networks. Publications highlight innovations in reinforcement learning for resource allocation, RIS (reconfigurable intelligent surfaces) applications, and secure UAV communications. He serves as an associate editor for IEEE Transactions on Vehicular Technology and IEEE Vehicular Technology Magazine. Current research includes prototyping zero-trust security architectures (ZTRAN) and evaluating interference mitigation in drone corridors. He mentors students in MS and Ph.D. programs focusing on wireless systems, security, and AI integration in next-gen networks.

• Software Engineering
• Software Testing
• Program Analysis
• +۵ مورد دیگر

Fabrizio PASTORE is a Professor and Chief Scientist 2 in Software Engineering at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) , University of Luxembourg. He leads the Software Verification and Validation (V&V) Lab under Prof. Lionel Briand. His research focuses on advancing software testing methodologies, particularly in cyber-physical systems (CPS), deep neural networks (DNN) safety analysis, and program analysis. He holds a PhD from the University of Milano-Bicocca (2010) and has held roles including Assistant Professor at the same institution and Post-Doctoral Researcher at the University of Lugano (Switzerland). Key research interests include: Mutation testing and fuzzing techniques Automated tool development (e.g., MOTIF, SAFE, DaMAT) Safety analysis of DNNs using clustering and GAN-enhanced simulations Testing of edge frameworks and SDN configurations Model-driven testing and system evolution analysis His work bridges academic research with industrial applications, emphasizing practical tools for software reliability and security. He has contributed to over 100 publications since 2004, with a focus on testing methodologies for complex systems. Notable achievements include: Development of the AVA , RADAR , and MASS tools for regression and safety analysis Pioneering studies on metamorphic testing and explainable AI for safety-critical systems Leadership in the V&V Lab, fostering interdisciplinary collaboration in software engineering His research addresses challenges in CPS, autonomous systems, and AI safety, with a strong emphasis on tool-supported validation and verification methodologies.

Brian Floydمشاهده پروفایل

استاد

• RF Circuits and Systems
• Millimeter-Wave Communication
• Phased Arrays
• +۵ مورد دیگر

Dr. Brian Floyd is the Alton and Mildred Lancaster Professor in the Department of Electrical and Computer Engineering at NC State University. His research focuses on RF and millimeter-wave circuits for wireless communication, radar, and imaging applications. He has extensive industry experience, including roles at IBM Research and leadership in the IEEE RFIC Symposium. His work includes pioneering contributions to 60-GHz transceivers and silicon phased arrays. Education: Ph.D., M.S., and B.S. in Electrical Engineering from the University of Florida. Leadership: IEEE Solid-State Circuits Society AdCom Secretary and IEEE RFIC Symposium Executive Committee. Research Interests : RF and millimeter-wave integrated circuits Phased arrays and beamforming Low-cost radar and imaging systems 6G/5G communication systems Recent publications emphasize phased-array calibration, mmWave platforms, and Gallium Nitride-based transmitters. His awards include the NC State Innovator of the Year (2023) and multiple teaching accolades. He leads advanced wireless research initiatives like AERPAW and 6GNC, focusing on 6G technologies and autonomous spectrum management.

• Programming Languages
• Formal Verification
• Software Engineering
• +۳ مورد دیگر

Alexander J. Summers is an Associate Professor and Associate Head of Graduate Affairs in the Department of Computer Science at the University of British Columbia (UBC), where he joined in 2020. Prior to UBC, he was a senior researcher (Oberassistent) at ETH Zurich. His research focuses on program correctness, including specification and verification logics, type systems, and automated tools for deductive verification. He leads the Prusti Project, developing verification tools for the Rust programming language, and collaborates on the Viper Project, an intermediate verification language framework. Summers is also actively involved in teaching, offering courses on advanced software engineering and program verifiers. His research interests span formal methods, programming languages, and automated reasoning, with a particular emphasis on Rust and ownership-based systems. He has contributed to the development of verification tools like Viper and Prusti, which aim to enhance software reliability through deductive techniques. Summers has been recognized with awards such as the Distinguished Reviewer Award (ACM SIGPLAN) and the Amazon Research Award. Summers has published extensively in top venues like POPL, PLDI, and OOPSLA, with recent work addressing challenges in Rust's ownership model, formal verification frameworks, and automated reasoning techniques. His lab focuses on advancing the state of the art in program verification while maintaining strong ties to practical tool development and empirical studies of programming practices. He actively mentors students at UBC, including PhD and M.Sc. candidates, and has supervised postdoctoral researchers. Summers is also engaged in academic service, serving on program committees for conferences like OOPSLA and IJCAR, and contributes to the broader formal methods community through tool development and educational initiatives.