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

Filip Turobośمشاهده پروفایل

استادیار

• Mathematical Analysis
• Automotive Safety Engineering
• Transportation Systems
• +۳ مورد دیگر

Filip Turoboś is an Assistant Professor at the Division of Insurance and Capital Markets , Lodz University of Technology . His academic profile indicates active research engagement without mention of part-time status, retirement, or former institutional affiliations. Research Focus: Dr. Turoboś demonstrates interdisciplinary expertise spanning: Mathematical Analysis : Including semimetric spaces, fixed-point theorems, and topological extensions Automotive Safety Engineering : Specializing in precrash velocity modeling using machine learning and optimization techniques Urban Mobility & Transport : Analyzing behavioral patterns during crises (e.g., pandemics) and regulatory impacts Emerging Technologies : Blockchain applications in security and ontological ecosystems Publication Trends (2020-2024): Recent works cluster into three dominant themes: Mathematical foundations of generalized metric spaces and functional analysis (30% of publications) Data-driven transportation studies focusing on pandemic-related behavioral shifts and urban policy effects (40%) Automotive crash reconstruction using AI/statistical methods and blockchain cryptography (30%)

• Acoustics
• Finite Element Analysis
• Ultrasonics
• +۷ مورد دیگر

Marc Arnela Coll is an Assistant Professor at the Engineering Department of La Salle Digital Engineering School, where he actively contributes to research in acoustics, vibration control, and sustainable building technologies. His work spans interdisciplinary domains, integrating engineering, environmental science, and human comfort in architectural contexts. His research interests focus on acoustics , finite element analysis , ultrasonics , and sustainable materials , with applications in noise and vibration reduction, sound insulation, and eco-friendly construction. He explores innovative solutions such as acoustic black holes, recycled concrete walls, and ultrasonic waste classification. The trends in his recent publications (2022–2025) reflect a strong emphasis on both theoretical and applied acoustics, with increasing integration of sustainability and human-environment interaction. His work appears in high-impact journals such as Applied Acoustics , Waste Management , and Chaos, Solitons and Fractals , covering topics from urban soundscapes to biomedical voice modeling. Scientific Awards: No scientific awards listed in the provided text. Advising and Grants: While no formal students are listed, Marc Arnela Coll leads and participates in multiple funded research projects. He serves as Principal Investigator (PI) for projects such as Bettair V and Aria , and as a key researcher in initiatives like ABHSSYS and Inhabiting Gaudí . These projects are supported by internal grants, research contracts, and collaborative agreements, reflecting strong institutional and interdisciplinary support. Labs and Teams: He is a core member of the Human-Environment Research group at La Salle Digital Engineering School, collaborating closely with researchers such as O. Guasch, R. M. Alsina-Pagès, and M. Freixes Guerreiro. His work is deeply embedded in team-based, project-driven research environments focusing on acoustic innovation and sustainable design.

• Cybersecurity
• Distributed Ledger Technology
• Privacy-Preserving Machine Learning
• +۳ مورد دیگر

Dr. Pavlos Papadopoulos is a Lecturer in Cybersecurity at Edinburgh Napier University's School of Computing Engineering and the Built Environment , with a PhD in Privacy-Preserving Systems around Security, Trust and Identity (2022) and MSc in Advanced Security and Digital Forensics (2019). He is an Associate Fellow of the Higher Education Academy and member of the Blockpass Identity Lab . Research Interests : Cybersecurity, Distributed Ledger Technology, Privacy-Preserving Machine Learning, and Network Security Notable Projects : TrueDeploy (funded by Innovate UK, Scottish Enterprise, Royal Academy of Engineering), GLASS (Distributed Data-Sharing Model), and Crossborder Personal Data Federation His work has been recognized with multiple awards including Outstanding Young Person in Cyber (2022) and Start Up of the Year (2025) for TrueDeploy. He has over 30 publications cited 820+ times, with recent focus on Explainable AI for DDoS detection, secure manufacturing frameworks, and EU digital governance transformation. Scientific Contributions: Developed TrueDeploy platform for secure software development Created GLASS model for decentralized governance Advancing privacy-preserving machine learning frameworks Researching blockchain applications in healthcare and public sector

• Cybersecurity
• IoT Security
• Threat Intelligence Sharing
• +۴ مورد دیگر

Dr. Nick Pitropakis is an Associate Professor at the School of Computing Engineering and the Built Environment (Edinburgh Napier University). He actively contributes to cybersecurity research through 39 publications, focusing on threat intelligence sharing , cloud security , IoT security , and privacy-preserving technologies . CyberHunt - Automated Threat Hunting for Critical Infrastructures (Funder: Norway RC) TRUST Platform - Crossborder Data Federation (Funder: UKRI) AI-based Biometric Authentication (Funder: Data Lab) His research combines graph theory for attack path analysis and blockchain for secure threat intelligence sharing. Key publication areas include: LLMs in threat hunting Chaotic encryption schemes Adversarial machine learning Distributed ledger applications Scientific contributions span 19 journal articles, 15 conference proceedings, and 2 book chapters. Collaborates with Prof Bill Buchanan and Dr Pavlos Papadopoulos on cybersecurity standardization and trusted computing .

Xinyu Leiمشاهده پروفایل

استادیار

• Distributed Computing
• Mobile Computing
• Data Science
• +۶ مورد دیگر

Xinyu Lei is an Assistant Professor in the Department of Computer Science at Michigan Technological University (MTU) , where he joined in Fall 2021. He earned his PhD in Computer Science and Engineering from Michigan State University (MSU) , advised by Prof. Guan-Hua Tu. Prior to MTU, he worked as a Research Assistant at Texas A&M University at Qatar (2013) and a Research Intern at Ford Motor Company (2017). University: Michigan Technological University Department: Computer Science Academic Rank: Assistant Professor PhD Institution: Michigan State University His research focuses on distributed computing , mobile systems , data science , and trustworthy machine learning , with particular emphasis on privacy-preserving protocols for IoT and blockchain technologies. His publications span top venues like ACM MobiCom , IEEE TDSC , and IEEE TIFS , addressing vulnerabilities in cellular IoT, secure blockchain protocols, and federated learning systems. Recent work includes privacy-preserving federated learning in 2023 (TIFS), secure redactable blockchain (TDSC), and IoT data heterogeneity handling (IoT-J). Earlier contributions in 2020-2021 explored Wi-Fi security for smart homes (MobiSys), encrypted geodata queries (ICDE), and Bitcoin payment protocols (CODASPY). Research Grants: NSF CRII: CNS-2153393 ($175K, Sole-PI) Professional Activities: Program Committee: CVPR'24, INFOCOM'24 TPC: BigDataService'20, Workshop Mobicom'19 Dr. Lei teaches graduate and undergraduate courses in applied cryptography (CS 5090), network security (CS/EE 4723), and computer security (CS 4471/5471) at MTU. He also contributes to academic community service through program committee roles at conferences like CVPR, INFOCOM, and WSDM.

Besnik Selimiمشاهده پروفایل

استاد

• Software Testing
• Blockchain Technology
• IoT and Smart Agriculture
• +۷ مورد دیگر

Besnik Selimi is a Full Professor at the Faculty of Contemporary Sciences and Technologies, South East European University (SEEU). He holds a Ph.D. in Computer Sciences from Joseph Fourier University (Grenoble 1), France, specializing in Software Testing. His academic career spans roles as Associate Professor (2015–present), Assistant Professor (2010–2015), and part-time Lecturer (2009–2010). He also served as a State Advisor on Information Technologies for the Republic of Macedonia (2007–2008) and held research roles in France. Education: Ph.D. in Computer Sciences (2009), Joseph Fourier University, Grenoble Master in Software Engineering (2004), Joseph Fourier University Bachelor of Computer Sciences (2002), Joseph Fourier University Research Interests: Software Testing and Formal Methods Blockchain Technology and Smart Contracts IoT and Smart Agriculture Natural Language Processing for Low-Resource Languages Recommender Systems and Trust Metrics Cybersecurity and Data Privacy Recent work focuses on systematic reviews in testing methodologies, blockchain applications, and AI-driven solutions for education and agriculture. His contributions include the BCERT blockchain-based academic certification system and neural network models for low-resource language processing. Labs/Teams: Active in SEEU's research initiatives, collaborating with institutions like the "Max van der Stoel" Institute and the Institute for Environment and Health .

Mark Uttingمشاهده پروفایل

دانشیار

• Software Verification
• Model-Based Testing
• Formal Methods
• +۵ مورد دیگر

Associate Professor Mark Utting is affiliated with the University of Queensland (UQ), specifically within the School of Electrical Engineering and Computer Science. He holds the rank of Associate Professor and focuses on software verification, model-based testing, and programming language design. His academic journey includes roles at multiple Queensland universities, Waikato University (NZ), and the University of Franche-Comte (France). He earned his PhD from UNSW on object-oriented language semantics. Utting has authored over 80 publications and the book 'Practical Model-Based Testing: A Tools Approach.' His current research emphasizes verifying compilers, blockchain smart contracts, ARM64 binaries, and AI-generated code. Key projects include the Algorand Centre for Sustainability Informatics and the BASIL project on secure information-flow logics. His research spans formal methods, theorem proving, and software engineering. Utting leads supervision in areas like compiler verification and smart contract analysis, with active involvement in grants such as the 'Directed and Incremental Analysis for DevSecOps' project. Utting collaborates on interdisciplinary projects, including energy grid simulations and cybersecurity strategies. His work bridges academia and industry, with past experience in genomics and manufacturing software development.

Maher Salemمشاهده پروفایل

مدرس ارشد

• Cybersecurity
• Blockchain Technology
• Machine Learning
• +۴ مورد دیگر

Dr. Maher Salem is a Senior Lecturer (Assistant Professor) in Cybersecurity at King's College London, affiliated with the Department of Informatics within the Faculty of Natural, Mathematical & Engineering Sciences. He holds a PhD in Security Engineering from Kassel University (2014) and is a HEA Fellow. His research focuses on intrusion detection systems, cyber threat intelligence, machine learning-based security solutions, and blockchain applications in cybersecurity and finance. He has 15+ years of industrial experience with firms like AUDI AG and E-Plus, and has secured funding from the German Federal Ministry of Education and Research (BMBF). Dr. Salem leads the Computing Education Research Centre (CERC) at King's, advancing cybersecurity education through pedagogical tools and PhD supervision. His work bridges academia and industry, addressing challenges in online learning equity, cloud security, and automotive/IoT security via blockchain. Notable contributions include frameworks for threat intelligence detection, privacy-preserving cloud search, and decentralized transportation authentication systems. Education: PhD in Security Engineering (Kassel University, 2014) Affiliations: Former roles at Higher Colleges of Technology (UAE) and Fulda University of Applied Sciences (Germany) Labs/Teams: Security Hub (King's College), CERC His awards include the Emirates Skills First Rank Award (2017) and HEA Fellowship (2019). Research outputs span 25+ peer-reviewed articles, focusing on AI-driven penetration testing, blockchain applications, and cybersecurity education innovations. He collaborates globally on projects like dynamic cloud congestion management and APT detection frameworks.

Nikolaj Bjørnerمشاهده پروفایل

پژوهشگر

• Symbolic Solving Techniques
• SMT Solvers
• Program Verification
• +۱۰ مورد دیگر

Nikolaj Bjørner is a Partner Researcher at Microsoft Research , affiliated with the Research in Software Engineering (RiSE) group. His work centers on symbolic solving techniques, particularly through the development of the Z3 SMT solver , which underpins program verification, test case generation, and cloud network management. He has also contributed to distributed file systems and network verification . Academic Rank : Researcher Key Collaborations : Leonardo de Moura (Z3), George Varghese (network verification), Mooly Sagiv (controller verification) Research Interests : Bjørner’s work spans SMT solvers (Z3, muZ, SPACER), network verification (SecGuru, NoD, ddNF), and distributed systems (DFSR, RDC). His methods bridge logical reasoning, optimization, and network reliability. Article Trends : His publications focus on SMT solving (e.g., Z3, muZ, SPACER), network verification (ddNF, TeaVar), and quantifier instantiation (MBQI). These works integrate model-based reasoning and theory combination to address scalability in software and networking. Awards : 2021 ACM Fellow 2021 CAV Award (pioneering SMT contributions) 2019 Herbrand Award (Z3) 2017 Skolem Award (E-matching) 2016 Best Paper (HVC, ddNF) 2015 ACM SIGPLAN Software System Award (Z3) Collaborations & Students : Bjørner has mentored interns and collaborators like Daniel Selsam (neural networks for SAT), Nuno P. Lopes (Alive, NoD), and Rachee Singh (Shoofly, traffic engineering). He co-organized the 2022 Shonan workshop on SAT and served as program chair for conferences like PSI and FMCAD.

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).

• Risk Analysis
• Actuarial Science
• Insurance Economics
• +۳ مورد دیگر

Montserrat Guillén Estany is a Professor of Quantitative Methods for Economics and Business at the University of Barcelona's Faculty of Economics and Business since 2001. She serves as Vice-Secretary of the Governing Board at the Royal Academy of Economic and Financial Sciences (RACEF) and directs the consolidated Risk in Finance and Insurance research center (UBriskcenter), which comprises 25 permanent researchers and 25 international affiliates. She also holds an Honorary Visiting Professorship at City, University of London. Bachelor of Science in Mathematics (Mathematical Statistics), University of Barcelona (1987) PhD in Economics and Business Administration, University of Barcelona (1992) Master's in Data Analysis, University of Essex, UK Visiting researcher: University of Texas at Austin, University of Paris II, University of California-Berkeley, University of Cambridge Her research focuses on risk analysis and actuarial science , particularly developing statistical methods for insurance applications. She pioneered work in operational risk modeling and quantitative approaches to insurance economics, establishing herself as the top-cited woman in Actuarial Sciences and second in Insurance. Her work bridges theoretical statistics with practical insurance industry applications, emphasizing computational methods and real-world data analysis. The 15 most recent publications demonstrate consistent leadership in actuarial methodology innovation , with increasing integration of machine learning techniques since 2020. Her research spans cyber risk, climate risk, longevity modeling, and regulatory compliance, maintaining strong connections to industry needs while advancing theoretical frameworks. Recent work shows particular emphasis on non-traditional data sources and computational approaches to complex risk scenarios. ICREA Academia distinction (2012, 2019) - only social sciences researcher to receive twice Casualty Actuarial Society honor (USA) Julio Castelo International Insurance Prize Honorary member, College of Actuaries of Catalonia Professor Guillén has supervised 17 doctoral theses at the University of Barcelona and co-supervised two internationally. She serves on numerous doctoral committees globally and participates in professor selection committees across Europe and North America. Her research has secured funding from Mapfre Foundation, BBVA Foundation, European Commission H2020, and other major institutions. She leads the UB-Zurich Chair of Insurance and UB-Mutualidad de la Abogacía Chair, focusing on actuarial innovation and aging economics research. As director of UBriskcenter, she leads a multidisciplinary team of 50 researchers conducting cutting-edge work in financial and insurance risk. The center maintains strong industry partnerships and international academic collaborations, particularly through the European Group of Risk and Insurance Economists which she previously presided over.

Linda Kuschelمشاهده پروفایل

استادیار

• Civil Law
• Intellectual Property Law
• Copyright Law
• +۳ مورد دیگر

Linda Kuschel is a Junior Professor for Civil Law, Intellectual Property Law, and Law and Digitalization at Bucerius Law School since 2019. Her research focuses on copyright law, AI regulation, and the intersection of digitalization with traditional legal frameworks. She is also a co-editor of the Zeitschrift für Geistiges Eigentum and the Global and Comparative Data Law book series. Junior Professor, Bucerius Law School (2019–present) Fulbright Visiting Scholar, UCLA School of Law (2023) Co-organizer, Bucerius IP Colloquium (2020–present) Kuschel’s research explores how territorial legal principles adapt to digital challenges, including AI-generated works, intermediary liability, and sustainability in intellectual property. She emphasizes the balance between creator protections and public access rights while addressing digital sovereignty issues. Her recent work includes analyzing AI regulation’s impact on copyright territoriality, legal aspects of IT security research, and cross-border jurisdiction for social media content. She contributes to debates on platform liability and the copyright status of machine-generated works. Fulbright Visiting Scholar (2023) Kuschel teaches at Bucerius Law School and has lectured internationally in Warsaw, Paris, and Wrocław. She co-founded the Bucerius IP Colloquium to foster academic exchange on intellectual property and digital law, collaborating with institutions like HU Berlin and LMU Munich.

• Artificial Intelligence
• Biometrics
• Security Systems
• +۵ مورد دیگر

Kingsley Nwosu is an Associate Professor in the Department of Computer Science at Norfolk State University's College of Science, Engineering and Technology. His research spans artificial intelligence, biometric systems, and security frameworks, with a focus on healthcare, campus safety, and low-resource environments. Email: kcnwosu@nsu.edu Research Themes: AI-driven emotion recognition and facial recognition systems Biometric authentication for security and privacy Blockchain applications in e-voting and data integrity Urban mobility optimization via embedded systems Public policy evaluation for social enterprises Data partitioning strategies for machine learning Publication Trends: His work since 2012 highlights interdisciplinary applications of AI and biometrics in healthcare, security, and economic development, with recent emphasis on scalable solutions for developing economies and proactive cybersecurity measures.

Musbah Abdulgaderمشاهده پروفایل

استادیار

• Artificial Intelligence
• Machine Learning
• Cybersecurity
• +۳ مورد دیگر

Musbah Abdulgader is an Assistant Professor in the Department of Computer Science at Norfolk State University, affiliated with the College of Science, Engineering and Technology. His research focuses on interdisciplinary applications of artificial intelligence, cybersecurity, and smart systems. Academic Rank: Assistant Professor Department: Computer Science University: Norfolk State University Research Interests His work spans Artificial Intelligence , Machine Learning , Cybersecurity , Data Science , and Smart Systems . Key areas include emotion recognition, healthcare technology, blockchain systems, and energy management. Publication Trends Recent publications (2024-2019) emphasize AI applications in education and healthcare, blockchain-based voting , cyber-physical systems , and grey wolf optimization in smart energy contexts. Earlier works focus on fuzzy logic and cybersecurity protocols . Advising & Grants No student advising or grant information is currently available in the provided texts.

Søren Deboisمشاهده پروفایل

دانشیار

• Digitalization
• Process Modelling
• IT Security
• +۳ مورد دیگر

Søren Debois is an Associate Professor at the IT University of Copenhagen , specializing in the intersection of process technologies and IT security . His research focuses on technical solutions for trust between parties, including applications of blockchain to process management and declarative process models for legal-compliant municipal systems. He is a principal author on the DCR process modelling notation and architect of the DCR Workbench , contributing to the commercial dcrgraphs.net engine. He leads a work package in the Innovation Fund Denmark -funded EcoKnow project, aiming to align municipal case-management with legal compliance. A frequent expert in Danish media on IT security, he teaches Distributed Systems , Security I , and Security II at ITU. His accolades include the 2017 ITU Excellence in Teaching Award and a BPM '18 Best Paper Honorable Mention .