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

Rafael Sa Menezesمشاهده پروفایل

پژوهشگر

• Software Verification
• Model Checking
• Cyber-Security
• +۵ مورد دیگر

Rafael Sa Menezes is a Research Associate and Ph.D. student at the University of Manchester, specializing in Software Verification and Model Checking. His work focuses on applying formal verification techniques to industrial software systems, including Android applications, firmware, and optimizing verification processes through methods like fuzzing integration. He is a lead developer of ESBMC, a widely used open-source model checker for C and C++ programs. Rafael holds a Master of Science in Informatics from Universidade Federal do Amazonas (2021) and a Bachelor of Science in Computer Science from Federal University of Roraima (2017). His research interests encompass static and dynamic analysis, concurrency verification, and improving the efficiency of verification tools through techniques such as global common subexpression elimination and control-flow graph instrumentation. Collaborations include advancements in branch coverage analysis and concurrent program verification via scheduling and partial order reduction methods. Rafael’s contributions bridge academic research with practical industrial applications, addressing challenges in ensuring software reliability and security across diverse domains. His work has been presented at leading conferences including FSE and TACAS, with publications focusing on tool development and verification optimization strategies.

• Cybersecurity
• Network Security
• Mobile Application Security
• +۴ مورد دیگر

Prof. Dr. Zoran Đurić is a full professor at the Faculty of Electrical Engineering, University of Banja Luka, specializing in computer science and informatics. He focuses on cybersecurity, network security, and secure communication protocols. His research includes cryptographic protocols like CryptoCloak, intrusion detection systems, mobile application security, and payment system architectures such as FEIPS. He leads projects like the 'Predictive Model Development' funded by NLB Banka and collaborates with institutions like the City of Banja Luka on IT modernization. Đurić has authored textbooks including Network and Distributed Programming and Java Programming , and has published extensively in journals like Computer Networks and Advances in Electrical and Computer Engineering . Educations: Not explicitly listed in text but inferred through academic rank and publications. Research Trends: Over 20 years of work focuses on practical security solutions for modern systems, including Android vulnerabilities, steganography, and adaptive streaming security. Grants/Projects: Active in EU-funded projects (e.g., 'Resilience Against Emerging Cyber Threats') and industry collaborations (e.g., NLB Banka). Labs/Teams: Head of research groups focused on cyber defense, secure payment systems, and software security tools.

Damien Massonمشاهده پروفایل

دانشیار

• Cyberphysical Systems
• Real-Time Systems
• Embedded Systems
• +۳ مورد دیگر

Associate Professor Damien Masson is affiliated with the Cyberphysical Systems Engineering Department (DISC) at ESIEE Paris, part of Université Gustave Eiffel. He co-leads the Embedded Systems apprenticeship program and is a member of the Gaspard-Monge Computer Science Research Laboratory (LIGM), specifically the LRT team. His research focuses on real-time systems, scheduling algorithms, and embedded systems design, as evidenced by his development of the Draw Schedule tool for visualizing task scheduling scenarios. Teaching responsibilities include courses on C programming, operating systems, real-time systems, and algorithms/data structures. He instructs both full-time engineering students and apprentices in network security, embedded systems, and computer science applications. Research contributions include tools for simulating real-time task scheduling policies (EDF, LLF) and teaching materials for Unix/compilation, robotics, and Android development. His work emphasizes practical applications in real-time embedded systems and education.

Yi Liمشاهده پروفایل

دانشیار

• Software Security
• Smart Contracts
• Software Evolution
• +۳ مورد دیگر

Yi Li is an Associate Professor at the College of Computing and Data Science (CCDS) , Nanyang Technological University (NTU) , focusing on the security, reliability, and sustainability of modern software systems. Their work bridges blockchain-based decentralized applications and software evolution management. Research Interests : Sustainability of evolving software systems, security/reliability of blockchain applications, semantic history slicing, and compositional analysis. Academic Roles : Associate Professor (2024–Present), Assistant Professor (2018–2024) at NTU, and research internships at Google and Microsoft Research . Scientific Awards : Distinguished Paper Award at NDSS'25 ACM SIGSOFT Distinguished Paper Award at ASE'23 Professional Activities : Co-Chair, Journal-First Track at FSE'25 and APSEC'25 Program Committee roles at ICSE, FSE, ASE, FM, and others (2016–2025) Organizing and reviewing for IEEE/ACM journals Key Publications : 2025: ICSE (SpecGen), FSE (invariant analysis), ISSTA 2024: INFOCOM (LightCross), ASE, ACM Computing Surveys 2023–2014: SPLC, ASE, FM, Dagstuhl Reports Student Advising : Chenguang Zhu (UT Austin, advisor Sarfraz Khurshid), Tai D. Nguyen (SMU, advisor Jun Sun).

Mazdak Zamaniمشاهده پروفایل

دانشیار

• Cybersecurity
• Artificial Intelligence
• Digital Watermarking
• +۵ مورد دیگر

Dr. Mazdak Zamani is an Associate Professor of Cybersecurity and Associate Dean of Computer Science and Cybersecurity at Felician University , NJ. He earned his PhD in Computer Science from Universiti Teknologi Malaysia in 2011. His research focuses on Cybersecurity and Artificial Intelligence , with publications spanning video watermarking , IoT authentication , mobile cloud security , and digital forensics . His recent work addresses heterogeneous device authentication and optimized steganography for secure data transmission. 2019 : Video watermarking performance evaluation, data mining for energy systems 2018 : LSB image steganalysis, spatial domain watermarking 2017 : Botnet forensics, illumination normalization for face recognition 2016 : Mobile cloud authentication, image/video watermarking techniques At Felician, he teaches Network Security , Digital Forensics , and Advanced Cryptography . Previously, he served as a Senior Lecturer at Universiti Teknologi Malaysia and as an Assistant Professor at Wenzhou-Kean University .

Laurence Larry D. Merkleمشاهده پروفایل

استادیار

• Evolutionary Computation
• Quantum Computing
• Cybersecurity
• +۷ مورد دیگر

Dr. Laurence Larry D. Merkle is a Research Assistant Professor of Computer Science in the Department of Electrical and Computer Engineering at the Air Force Institute of Technology (AFIT), where he has served since 2022, following his tenure as Assistant Professor from 2015 to 2022. He conducts computer science research aligned with Air Force and Department of Defense needs and mentors graduate students in master’s and doctoral research. Ph.D. in Computer Engineering, Air Force Institute of Technology, 1996 M.S.C.E., Air Force Institute of Technology, 1992 B.S. in Computer and Systems Engineering, Rensselaer Polytechnic Institute, 1987 Dr. Merkle’s research spans evolutionary computation, quantum computing, cybersecurity, and AI-driven education. He applies evolutionary algorithms to optimize complex systems in defense and engineering, and explores quantum circuit optimization, error mitigation, and hardware security. His work in computer science education includes gamification, robotics in teaching, and curriculum design. His recent publications reflect a strong trend toward quantum computing and defense applications, particularly in space situational awareness and secure quantum hardware. He has also contributed significantly to educational technology, including serious games for networking and pedagogical tools for introductory courses. Best Presentation, AMOS Conference (2019) Order of the Engineer (2019) Best Poster, CISS Education Colloquium (2018) Who’s Who in Engineering Education (2005–2006) Best Paper, ASEE Conference (2005) Air Force Achievement Medal (2000) Dr. Merkle has successfully led funded research projects totaling over $1.1 million as PI or Co-PI. He has chaired 2 Ph.D. and 13 master’s thesis committees and served on 19 additional graduate committees, demonstrating extensive mentorship. His grants focus on evolutionary optimization, quantum computing, and cybersecurity education, often in collaboration with AFRL and other DoD entities. He is actively involved in the AFIT Quantum Information Science (QIS) Seminar series and has contributed to DARPA and AFRL research initiatives in polymorphous computing and high-power microwave systems. His work bridges academic research and military application, particularly in secure and reliable computing systems.

Dongwan Shinمشاهده پروفایل

استاد

• Computer Security
• Privacy
• Software Engineering
• +۶ مورد دیگر

Dongwan Shin, Ph.D. is a Professor of Computer Science and Engineering at New Mexico Tech (NMT). He serves as Director of the Secure Computing Laboratory (SCL), NSF SFS and S-STEM Programs, and Faculty Advisor for the NMT ACM Student Chapter. His roles include leadership in cybersecurity education and research, including Center of Academic Excellence (CAE) designation for NMT. He has held the Orr Endowed Chair and served as Department Chair (2015–2018). Research Interests : Focuses on cybersecurity, usable security, software engineering, and cloud security. Key areas include access control, malware analysis, cryptography, and privacy-preserving technologies. His work addresses challenges in secure system design, blockchain, and insider threat mitigation. Grants & Projects : CyberCorps SFS Renewal (NSF, PI, 2020–2025) New Mexico SMART Grid Center (NSF, co-PI, 2018–2023) S-STEM Program (NSF, co-PI, 2018–2023) EPSCoR: Sustainable Grid Research (NSF, co-PI) Professional Activities : Program Chair for ACM Symposium on Applied Computing (2017–2020) Guest Editor for IEEE Transactions on Dependable and Secure Computing Leadership roles in TrustCol, CloudApp, and Smart Grid Track conferences Teaching : Offers courses in cybersecurity, cryptography, software engineering, and cloud computing at both undergraduate and graduate levels.

Hamdy Solimanمشاهده پروفایل

استاد

• Computer Networks Security
• Neural Networks
• Wireless Sensor Networks
• +۵ مورد دیگر

Hamdy Soliman, PhD, is a Professor in the Department of Computer Science & Engineering at New Mexico Tech. His research focuses on computer networks security, neural networks, and wireless sensor networks. He has pioneered a novel encryption algorithm surpassing AES in speed and security against insider attacks, and holds five related security patents. His work in machine learning includes modeling with neural networks (e.g., LVQ, BP, BAM) for big-data management, image processing, and sensor network applications. Research interests span secure mobile networks, cloud computing, and smart sensor systems for environmental monitoring (e.g., forest fire prediction). He has also explored healthcare applications via chatbots and AI-driven medical imaging (e.g., VGG16 for breast cancer detection). Recent work critiques the energy inefficiency of large language models and proposes optimized architectures. Publications emphasize anomaly detection in wireless sensor networks, malware analysis in Android systems, and ensemble learning for social media content moderation. His contributions include routing protocols (e.g., SCWRRHA) and cloud data center failure prediction systems (Failuresim). No scientific awards explicitly listed, but his patent portfolio and prolific publishing reflect industry impact. Advising and grants: While no advisees or grants are explicitly mentioned, his extensive publications suggest active mentoring of student researchers. His work on drone-based search-and-rescue systems (Project Vulture) indicates interdisciplinary collaboration in robotics and emergency response.

• Computer Science
• Programming Languages
• Blockchain Technology
• +۳ مورد دیگر

Alvise SPANO' is a Researcher at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Computer Science and Statistics. He is also part of the Research Institute for Complexity. His academic focus includes Blockchain Programming Languages, Programming Languages, and Information Systems. Research projects include ALGOMOVE for Algorand and the RINmaker bioinformatics tool. He has taught courses like Object-Oriented Programming and Introduction to Programming at both undergraduate and doctoral levels. Research interests span smart contract analysis, type systems, and cybersecurity in distributed systems. He contributed to projects like secure RPL for mobile networks and Android-LEGO interoperability. Funding includes the CEVID 2016 project (Role: LD), collaboratively managed with researchers like Agostino Cortesi and Salvatore Orlando. His work bridges theoretical foundations (e.g., COBOL code typing) with practical applications in wearable systems and bioinformatics. Collaborations include the Blockchain Programming Languages research group with Lorenzo Benetollo and Sabina Rossi.

• Microelectronics
• Analog Filters
• Signal Processing
• +۱۰ مورد دیگر

Nuno Miguel de Figueiredo Garrido is an Assistant Professor in the Department of Information Science and Technology at ISCTE – Instituto Universitário de Lisboa (ISCTE-IUL). He is also an Associate Researcher at the Institute of Telecommunications – IUL, affiliated with the Radio Systems Group. His academic work bridges microelectronics, signal processing, and smart city technologies. PhD in Information Sciences and Technologies, ISCTE-IUL (2012–2015) Bachelor's in Electrical and Computer Engineering, Higher Technical Institute – UTL (1994) His research interests include microelectronics, analog filters, CMOS technology, smart cities, IoT systems, machine learning, and low-power circuit design. He has contributed significantly to adaptive analog filter design for hard disk drives and more recently to smart parking and interactive systems using BLE, Arduino, and Raspberry Pi. The analysis of his recent publications (2018–2024) reveals a strong interdisciplinary focus. Early work centered on high-frequency CMOS transconductors and signal equalization in storage systems. Recent research expands into machine learning for healthcare, NLP for IT automation, and educational tools for programming. His work frequently appears in international conferences such as IEEE ISCAS, INTELEC, and ACM ITiCSE, indicating active engagement in both engineering and computer science communities. Although no formal scientific awards are listed, his work has accumulated 94 Google Scholar citations, with publications in Q2 and Q3 ranked venues, reflecting scholarly impact. Garrido advises students and collaborates on research projects involving port classification automation, kidney disease prediction, and smart urban systems. He has contributed to the development of tools like Jask (question generation for Java code) and Sprinter (a didactic linter), showing commitment to computing education. He is involved in multiple research initiatives related to IoT, smart cities, and embedded systems, particularly those utilizing open hardware and software. His lab and team affiliations include the Radio Systems Group at the Institute of Telecommunications – IUL, where he conducts research on wireless and embedded systems for smart environments.

Seibu Mary Jacobمشاهده پروفایل

مدرس ارشد

• Mathematics Education
• Engineering Education
• Machine Learning
• +۱۴ مورد دیگر

Dr Seibu Mary Jacob is a Senior Lecturer in Analytical Methods/Engineering Mathematics at the School of Computing, Engineering and Digital Technologies, Teesside University, where she has been since 2014. She is a Senior Fellow of the Higher Education Academy (HEA) and leads the pedagogic research group STEAMEDULAB@TU. She teaches modules including Engineering Mathematics, Probability & Statistics, Statistical Analysis, and History/Philosophy of Mathematics at both undergraduate and postgraduate levels, including Masters project supervision. Education: BSc in Mathematics MSc in Mathematics BEd in Mathematics Education PhD in Mathematics Education (focus: Critical Thinking in Online Engineering Mathematics) Postgraduate Diploma in Computer Applications (PGDCA) Her research lies at the intersection of applied mathematics, statistical modeling, machine learning, and educational technology. She investigates how AI, especially Generative AI, can enhance student engagement, critical thinking, and inclusive learning. Her work also extends into cybersecurity, where she applies machine learning to detect Android malware, spam emails, and cyber-hate using techniques such as graph neural networks, fuzzy systems, and adversarial defense mechanisms. The recent publications reveal a strong trend in applying machine learning to security challenges—particularly in adversarial environments—while maintaining a parallel focus on pedagogical innovation and the impact of digital tools on education. Her interdisciplinary approach combines technical rigor with social responsibility, emphasizing diversity, inclusion, and community impact. Scientific Awards and Recognitions: Senior Fellow of the Higher Education Academy (HEA) Microsoft Certified Educator (MCE) Dr Jacob is actively involved in PhD student supervision and community projects promoting STEM education, especially for marginalized groups. She is passionate about policy development and curriculum internationalization in mathematics and engineering education. Her research has been supported through institutional affiliations and collaborations, particularly with IEEE, where several of her works are published. She leads the STEAMEDULAB@TU research group, which focuses on innovation in digital pedagogy, including projects on collaborative learning models, U-learning, and learner engagement through technology-enhanced environments.

• Compilers
• Software Testing
• Formal Verification
• +۳ مورد دیگر

John Regehr is a Professor in the School of Computing at the University of Utah. His research focuses on compilers, formal verification, software testing, and embedded systems. He has contributed to tools like Alive2, YARPGen, and ARMor, which address compiler correctness, fuzz testing, and secure isolation. His work emphasizes uncovering compiler bugs, optimizing low-level code, and ensuring system reliability. Key collaborations include Eric Eide, Yang Chen, and Nuno P. Lopes. His articles span compiler verification, fuzzing techniques, and embedded system safety, reflecting a strong commitment to both academic rigor and practical impact. Research interests include compiler optimization validation, undefined behavior analysis, and program synthesis. His work on peephole optimizations and formal methods has influenced LLVM and industry practices. He also explores scheduling algorithms for real-time systems and memory safety in constrained environments like TinyOS. Notable contributions include foundational papers on compiler bug detection (e.g., 'Finding and understanding bugs in C compilers') and tools like Minotaur for SIMD optimization. His lab's work often bridges theory and practice, with applications in security, performance, and embedded software reliability.

Alexandre Bartelمشاهده پروفایل

استاد

• Software Engineering
• Computer Security
• Android Security
• +۳ مورد دیگر

Alexandre Bartel is a Professor at Umeå University's Department of Computing Science and a member of the Research Management Group Software at the Wallenberg AI, Autonomous Systems and Software Program (WASP). His primary research focuses on software engineering and computer security, with particular emphasis on Java vulnerabilities, Android security, and cryptographic systems. His recent publications highlight trends in Control Flow Integrity (CFI) adoption Java deserialization attacks Android malware detection using BERT Blockchain wallet security JVM fuzzing for type confusion Secure development practices As head of the Software Engineering and Security research group, he contributes to advancing security methodologies for complex software systems, particularly in collaboration with European research initiatives.

• Computer Science
• Software Engineering
• Access Control
• +۳ مورد دیگر

Ning Shen is a researcher in computer science with a focus on security and testing methodologies. Their work spans access control policies, database encryption, and automated testing techniques. Research Interests: XACML policy testing and analysis Order-preserving encryption for databases Automated and mutation testing Formal verification of security protocols

Liangmin Wangمشاهده پروفایل

استاد

• Cybersecurity
• Smart Contract Vulnerability Detection
• Internet of Things Security
• +۳ مورد دیگر

Liangmin Wang is a Professor at the School of Cyber Science and Engineering, Southeast University, Nanjing, China. His research spans cybersecurity, smart contract vulnerability detection, internet of things security, data deduplication, and blockchain technology. He actively contributes to advancements in secure computation, privacy preservation, and network threat analysis. Current affiliation: Southeast University Research focus: Cybersecurity, blockchain, IoT security, federated learning, and malware detection His recent publications demonstrate expertise in applying machine learning and cryptographic methods to security challenges in blockchain systems, fog-assisted cloud storage, and vehicular networks. He collaborates extensively with researchers like Xiaoyu Zhang, Xia Feng, and Wenjin Wang.