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

• Formal Methods in Software Engineering
• Programming Languages and Formal Logic
• Trustworthy Distributed Systems
• +۹ مورد دیگر

Dr. Boris Düdder is an Associate Professor at the Department of Computer Science (DIKU), University of Copenhagen, focusing on Formal Methods, Programming Languages, and Trustworthy Distributed Systems. He leads the Software Engineering & Formal Methods research group and serves as Deputy Head of Department for Teaching, advocating for neurodiversity and inclusion. Primary Affiliation: Department of Computer Science, University of Copenhagen External Lectureship: Copenhagen Business School (CBS), University of Electronic Science and Technology of China (UESTC) Honorary Research Fellowship: Institute for Intelligent Production Systems, Qingdao, China His research bridges formal computer science foundations with industrial applications, including automated program generation for adaptive systems (Combinatory Logic Synthesizer), verifiable AI, blockchain for healthcare IT, and secure data ecosystems. Key projects involve Smart Factories, Data Markets, and Ethical AI assessment via Z-Inspection. Scientific recognition includes the 2022 SSIP Excellence In Service Innovation Award for Z-Inspection. He has secured international grants in blockchain, FinTech, and secure data sharing, operating in multinational consortia. Contact: boris.d@di.ku.dk | Phone: +4593565748 | Website: Research Profile

• Programming Languages
• Theory of Computation
• Formal Verification
• +۴ مورد دیگر

Tudor-Ovidiu Pal is a Lecturer at the Department of Computer Science , University of Copenhagen, contributing to teaching and research in programming language technology and theoretical computer science. He is affiliated with the Programming Languages and Theory of Computation Section (PLTC), which focuses on foundational and applied research spanning algorithmic programming, formal verification, computer security, and high-performance computing systems. His work intersects with key research groups within PLTC, including investigations into secure networked systems (blockchain, distributed ledger technology), software-based security techniques, functional programming optimizations, and probabilistic programming applications in bioinformatics and AI-driven vaccine design. He also engages with topics like program inversion, reversible computing, and quantum programming paradigms through collaborative efforts with other researchers in the section.

Bryan Parnoمشاهده پروفایل

استاد

• Secure Systems
• Formal Verification
• Cryptography
• +۳ مورد دیگر

Bryan Parno is a Professor at Carnegie Mellon University in the College of Engineering, holding the Kavčić-Moura Chair in Electrical & Computer Engineering and Computer Science. His research focuses on designing secure systems with formal verification to ensure rigorous security guarantees in practical implementations. Key Research Areas : Formal verification of distributed/concurrent systems, secure cryptographic protocols, blockchain applications, and hardware-assisted security mechanisms. Awards : Distinguished Artifact Awards at USENIX Security (2025), SOSP (2024), CAV (2024) Jay Lepreau Best Paper Award (OSDI 2025) IEEE Cybersecurity Award for Practice (2024) Sloan Research Fellowship (2018) ACM Doctoral Dissertation Award (2011) Notable Contributions : EverCrypt cryptographic provider (Linux kernel integration 2020) Project Everest (formal verification of HTTPS ecosystem) Verus verification framework IronFleet verified distributed systems Students : Yi Zhou (PhD 2025), Elisaweta Masserova (PhD 2024), Travis Hance (PhD 2024), Abhiram Kothapalli (PhD 2024), Jay Bosamiya (PhD 2024), James Larisch (2023), Antoine Delignat-Lavaud (2021), and others. Collaborations : Microsoft Research, Amazon Web Services (Amazon Scholar 2025), Algorand Foundation (Technical Advisory Committee 2019).

• Decentralized Collaboration
• Blockchain
• Decentralized Autonomous Organizations
• +۵ مورد دیگر

Samer Hassan is an Associate Professor at Complutense University of Madrid and Faculty Associate at Harvard University's Berkman Klein Center for Internet and Society, with a multidisciplinary background spanning Computer Science, Social Sciences, and Artificial Intelligence. His work bridges academic research with grassroots activism to advance community-driven technological solutions. His research centers on decentralized collaboration systems including blockchain, DAOs, and fediverse platforms, specifically examining how open-source decentralized architectures can sustain the Collaborative Economy through Commons-based models. Notable projects include ERC-funded research on Blockchain-based DAOs and development of practical infrastructure like SwellRT (adopted by Apache Foundation) and Decentralized Science's peer review system. Scientific recognition includes: ERC Starting Grant (1.5M€) for DAO research in the Collaborative Economy Hassan secures substantial project funding (300K€ for Decentralized Science) while applying participatory teaching methods in cyber-ethics courses. His activist work spans grassroots initiatives in Madrid and Beirut where he operates as an accredited facilitator, connecting technical development with community organizing principles. Key technical contributions include founding the interoperable open peer review system for Decentralized Science and creating SwellRT—a federated backend-as-a-service adopted by the Apache Foundation—demonstrating his commitment to building practical decentralized infrastructure.

Wilhelm Storkمشاهده پروفایل

استاد

• Microsystems Technology
• Optics
• Artificial Intelligence in Healthcare
• +۷ مورد دیگر

Prof. Wilhelm Stork is a Professor at the Department of Electrical Engineering and Information Technology (ETIT) at the Karlsruhe Institute of Technology (KIT). His research focuses on microsystems technology, optics, and the application of artificial intelligence in healthcare and automotive systems. He leads projects in holographic systems, sensor technology, and decentralized health data management. His work spans automotive camera systems, medical decision support systems, and innovative dementia interventions. Education details are not explicitly provided in the text, but his academic role suggests a doctoral background in natural sciences (Dr. rer. nat.). Research Interests: Development of holographic optical elements and augmented reality systems AI-driven healthcare applications including medical imaging, diagnostics, and patient data management Sensor systems optimization for automotive and environmental monitoring Blockchain-based solutions for health data sovereignty and security Recent publications emphasize AI in healthcare decision-making, holographic recording techniques, and automotive sensor reliability. His work bridges engineering innovation with clinical applications, particularly in dementia prevention and telemedicine. Awards/Funding: No specific awards mentioned, but active in EU-funded projects related to smart grids and medical AI. His lab, ITIV (Institute of Information Processing Technology), collaborates internationally on dementia intervention platforms and digital health solutions. He advises on interdisciplinary projects combining engineering and medicine, such as the 'Model-Driven Dementia Prevention Platform' and 'AI for Spectral Analysis' initiatives.

Balasubramaniam Rameshمشاهده پروفایل

استاد

• Agile Software Development
• Software Engineering
• Requirements Engineering
• +۵ مورد دیگر

Dr. Balasubramaniam Ramesh is a Professor in the Department of Computer Science at Georgia State University. His research focuses on knowledge-intensive processes in software development, agile methodologies, and IT governance, with contributions to industry tools and over 20 research grants from institutions like NSF and DARPA. He has received numerous awards for teaching and research, including the Regents’ Teaching Excellence Award (2008), the top faculty award in the University System of Georgia. Education: Ph.D., New York University M.Phil., New York University P.G.D.M. (M.B.A.), Indian Institute of Management B.Engg., University of Madras, India Research Interests: Dr. Ramesh’s work bridges theory and practice in software engineering, exploring agile practices, requirements traceability, and ambidexterity in distributed development. He emphasizes the interplay between organizational processes and IT innovation, with recent work on AI ethics, blockchain applications, and cloud computing. Grants & Awards: Over 20 grants from NSF, ONR, Air Force Research Lab, and industry partners. Notable awards include the GSU Outstanding Faculty Achievement Award (2002), RCB Faculty Achievement Awards (Teaching, Research, Service), and multiple Top Professor recognitions (2014–2016). Labs & Teams: While specific lab names are not mentioned, his research collaborates with industry and academic partners to develop tools and frameworks for software process improvement and IT governance.

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

استاد

• Machine learning
• Pattern recognition
• Signal and image processing
• +۵ مورد دیگر

Yue Wang serves as the Grant A. Dove Professor in the Bradley Department of Electrical and Computer Engineering at Virginia Tech, where he leads pioneering research at the intersection of computational theory and biomedical applications. His work focuses on developing advanced signal processing and machine learning frameworks for genomic analytics, tissue characterization, and medical imaging, driving innovations in precision medicine and diagnostic methodologies. His academic foundation includes: PhD in Electrical Engineering from the University of Maryland (1995) MS in Electrical Engineering from Shanghai Jiaotong University (1987) BS in Electrical Engineering from Shanghai Jiaotong University (1984) Wang's research program centers on pattern recognition, stochastic signal systems, and image processing with deep applications in computational bioinformatics and systems biology. He develops novel algorithms for analyzing complex biological data—from single-cell genomics to radiological images—enabling discoveries in disease mechanisms and therapeutic targeting. His methodologies bridge computational rigor with clinical relevance, particularly in cancer and neurological disorders. Analysis of his recent publications (2022-2025) reveals three dominant trends: 1) Advancement of differential dependency networks for detecting biological network rewiring in disease states; 2) Development of unsupervised deconvolution techniques for cell-type resolution in bulk tissues; and 3) Integration of radiomics with genomics for tumor characterization. These efforts increasingly leverage deep learning and single-cell technologies to address heterogeneity in biological systems. His scientific recognition includes: IEEE Fellow (2016) for contributions to genomic signal analytics and image-based tissue characterization While specific grant details are not provided, Wang's extensive open-source software contributions—including CAM for cell deconvolution, DDN for network analysis, and KDDN for dependency networks—demonstrate sustained research leadership. His mentorship likely involves graduate students in computational biology projects, though formal advisee lists are not documented in available materials. No laboratory or team structure is explicitly described, but his computational focus suggests collaboration with biomedical researchers across Virginia Tech's campus and medical institutions to translate algorithms into clinical tools.

• Cybersecurity
• Underwater Acoustic Networks
• Hardware Security
• +۳ مورد دیگر

Zhijie Jerry Shi is an Associate Professor at the School of Computing, University of Connecticut. His research focuses on cybersecurity, underwater acoustic networks, hardware security, and blockchain technology. He leads projects such as Ocean-TUNE, a community testbed for underwater communication, and has contributed to secure firmware updates, cryptographic algorithms, and IoT security architectures. His work integrates hardware and software solutions for resilient systems. Key research areas include cryptographic side-channel attacks, underwater acoustic communication protocols, and blockchain scalability. He has developed innovative solutions for underwater sensor networks, including Aqua-Net and Aqua-Sim simulators, and explored secure metering systems using blockchain (SMChain). His hardware security research addresses vulnerabilities in embedded systems and trustable computing education. His publications span over 15 years, with recent emphasis on hardware trojan detection, diffractive optical neural networks, and secure IoT protocols. Collaborations involve experimental deployments in underwater environments and joint work on FPGA-based acoustic modems. He advises on secure wireless protocols, cryptographic implementations, and underwater network resilience.

Yu Liuمشاهده پروفایل

استاد

• Sustainable Computing
• Energy-Efficient Software
• Programming Languages
• +۳ مورد دیگر

Yu Liu is a Professor at the School of Computing, Binghamton University, where he has been a faculty member since 2008. His research focuses on sustainable computing, energy efficiency, and security in emerging software systems, with significant contributions to programming languages, robotics, and software-hardware interfaces. Education: MSE, Johns Hopkins University PhD, Johns Hopkins University Professor Liu's research centers on sustainable computing and energy-aware software systems. He investigates programming language designs for energy prediction, develops reliable robotics software through managed languages, and creates secure software-hardware interfaces. His work bridges theoretical foundations with practical applications in data centers, UAV systems, and multi-threaded environments, emphasizing verifiable sustainability metrics and energy-efficient resource management. His publication trends reveal a consistent focus on sustainable computing evolution, with recent work advancing verifiable sustainability frameworks in data centers (2023-2024), energy accounting for multi-threaded applications (2020), and secure cache management techniques (2022). The research spans programming language theory, robotics safety, and hardware security, demonstrating interdisciplinary integration across computer science subfields. Scientific Awards: NSF CAREER Award Google Faculty Research Award Fulbright Scholarship Professor Liu has secured significant research funding through his NSF CAREER Award and Google Faculty Research Award, supporting innovations in sustainable computing infrastructure. His Fulbright Scholarship enabled international collaboration in Slovenia, advancing global research in energy-efficient software systems. He regularly teaches core courses including Programming Languages (CS471/571) and Sustainable Computing (CS680G), mentoring the next generation of computer scientists. While specific lab affiliations aren't detailed in the source text, his research on UAV software (Jcopter) and cache security (Composable cachelets) suggests active involvement in robotics and systems security research groups at Binghamton University.

• IT Infrastructure
• Cloud Computing
• AI/ML
• +۴ مورد دیگر

Lincoln Matra is a Senior Lecturer and Systems Administrator in the Computer Information Systems department at Bentley University. He also serves as an IT Systems Administrator at Bentley University IT, an Application Developer at Destiny Life Center, and an International Engineering Manager & Software Engineer at Keoyo. His roles emphasize technical leadership and bridging business goals with technological innovation. Education: BS in Electronic Engineering from Wentworth Institute of Technology His teaching focuses on IT Infrastructure, Cloud-Based Development Operations, and Microservices Application Development. Research interests include Blockchain, CI/CD, AI/ML, and Virtual Reality. Consulting/practice expertise spans Scala, Swift, Play, Mongo, Web Development, Docker, and Continuous Integration/Deployment (CI/CD). He is known for entrepreneurial leadership under complex conditions and fostering team-driven innovation. No articles or awards are explicitly listed, but his professional experience highlights contributions to software engineering, systems administration, and cloud technologies.

David Schwartzمشاهده پروفایل

استاد

• Game Design and Development
• Cybersecurity Gamification
• Critical Infrastructure Resilience
• +۴ مورد دیگر

David I. Schwartz, Ph.D. (he/him/his), is the Director of the School of Interactive Games and Media (IGM) at Rochester Institute of Technology (RIT), within the Golisano College of Computing and Information Sciences. He holds a BS, MS, and Ph.D. from the University at Buffalo. Since 2001, he has been a pioneer in game design and development education, founding Cornell University's Game Design Initiative and later establishing IGM at RIT in 2011. His research focuses on cybersecurity gamification, critical infrastructure resilience, geospatial games (geogames), and physically-based animation. Education: Ph.D. in Engineering, University at Buffalo MS in Engineering, University at Buffalo BS in Engineering, University at Buffalo Research Interests: Design of educational games for STEM fields Integration of geospatial technology with serious games Cybersecurity education through gamified platforms VR/AR applications in collaborative learning Ethical considerations in game development His work bridges academia and real-world challenges, such as disaster preparedness through spatial games (Project Lily Pad) and digital forensics training for undergraduates. Recent Contributions: Recent work emphasizes spatial computing, metaverse frameworks, and the ethical implications of location-based games like Pokémon GO. He frequently presents at conferences on topics such as geogames for critical infrastructure resilience and VR-based historical education. Advising & Grants:** While no specific students are listed, his research involves interdisciplinary teams working on projects like digital twins and geospatial visualization systems. He has secured grants including a 2020 NSF award for a digital media forensics platform. Labs & Initiatives:** Leads the IGM lab focused on game design education and collaborates with industry partners on projects integrating geospatial technology with game engines.

• Software Testing
• Model-Based Testing
• Software Product Lines
• +۷ مورد دیگر

Assoc. Prof. Tugkan Tuglular is affiliated with the Department of Computer Engineering at Izmir Institute of Technology, leading the Safety, Security and Reliability of Software Systems (S2RS2) Laboratory. His research focuses on software testing methodologies, model-based systems, and security applications across software product lines. His work spans formal methods for testing (e.g., event sequence graphs, feature modeling), blockchain-enhanced data sharing, and empirical software engineering. He has extensively studied automated test case generation, change impact analysis, and robustness measurement using Bayesian networks. Notable contributions include domain-specific languages for business applications and frameworks for incremental testing in evolving systems. Recent efforts explore federated platforms for source code quality analysis and AI-driven methods for completing graphical software models. His research integrates theoretical foundations with practical tools, emphasizing security and reliability across diverse software domains. Awards: No specific awards listed. Advising/Grants: No student advising records or grant details provided in the text. His lab (S2RS2) focuses on advancing software safety and security through rigorous testing and modeling approaches. Labs/Teams: Leads the S2RS2 Lab, which investigates software systems' reliability through advanced testing techniques and formal modeling.

Chien-Chung Shenمشاهده پروفایل

استاد

• Computer Networks
• Cybersecurity
• Mobile Ad Hoc Networks
• +۷ مورد دیگر

Chien-Chung Shen is a Professor and Associate Chair for Undergraduate Studies in the Department of Computer and Information Sciences at the University of Delaware. His expertise spans mobile ad hoc networks, sensor networks, blockchain technology, federated learning, and cybersecurity. He holds a PhD from UCLA and MS/BS degrees from National Chiao Tung University, Taiwan. Education: PhD in Computer Science, UCLA MS & BS in Computer Science, National Chiao Tung University, Taiwan Research Interests: Next-generation wireless networks (e.g., 5G/6G, underwater acoustic networks) Cybersecurity frameworks for autonomous systems and metaverse Blockchain-based distributed systems and trust management Federated learning for edge computing and traffic prediction Grants & Collaborations: National Science Foundation (NSF): Projects on federated learning, secure education, and network protocols Army Research Lab: Tactical network management and bio-inspired protocols Cisco, MITRE, NASA, and industry partnerships for applied research Advising & Education: Current PhD advisees: Ehsan Memary, Hang Chen, Syed Ali Asif Over 25 former students placed in academia (e.g., universities in China, Thailand, South Korea) and industry (Google, Meta, Amazon) Teaching courses on networks, cybersecurity, blockchain, and distributed systems Labs & Teams: Leading interdisciplinary research on edge computing, vehicular networks, and metaverse security Collaborations with international institutions like Korea Aerospace University and National Cheng Kung University

Kyrie Zhixuan Zhouمشاهده پروفایل

استادیار

• Human-Centered AI
• AI Ethics
• Computer Accessibility
• +۳ مورد دیگر

Kyrie Zhixuan Zhou is an Assistant Professor in the Department of Information Systems and Cyber Security at the University of Texas at San Antonio, where he leads the iTEA Lab (Information Technology Ethics and Accessibility). He holds a PhD in Information Sciences from the University of Illinois Urbana-Champaign and a BEng in Computer Science from Wuhan University. His research bridges human-computer interaction, AI ethics, and accessibility, with particular focus on vulnerable populations. Zhou's research explores: Fairness and privacy in generative AI systems Accessible software design for people with disabilities Pedagogical approaches for teaching ethics and accessibility His work combines technical, educational, and policy interventions to create more inclusive technologies. Analysis of Zhou's 15 most recent publications reveals consistent focus on accessibility, AI ethics, and human-centered computing. His work demonstrates strong methodological diversity including: experimental studies, system designs, policy analyses, and educational interventions. The publications show increasing emphasis on real-world applications of AI ethics frameworks and accessibility solutions. Significant Awards: Best Paper Award at HICSS (2023) Honorable Mention at ASIS&T (2024) Diversity Recognition at CSCW (2023) SOUPS Student Grant (2023) UIUC Fellowships (2020) Zhou mentors multiple graduate and undergraduate researchers through his iTEA Lab, focusing on accessibility and ethics projects. He has secured research funding evidenced by student grants and lab operations. The iTEA Lab conducts interdisciplinary research on assistive technologies and ethical AI, collaborating with institutions like HKUST-Guangzhou and University at Buffalo. Current projects examine generative AI governance, accessible cryptocurrency systems, and inclusive computing education.

Scott Fowlerمشاهده پروفایل

دانشیار

• Wireless Networks Optimization
• Mobile Telecommunications
• Next Generation Networks (NGNs)
• +۷ مورد دیگر

Scott Fowler is an Associate Professor (Docent) at Linköping University's Department of Science and Technology (ITN), part of the Communications and Transport Systems (KTS) division. He holds a PhD from Wayne State University (2006) and previously served as a Research Fellow at Aston University and Sony Ericsson R&D lab (2006–2010). His expertise spans wireless networks optimization, mobile edge computing, and 5G/6G technologies. He is a Senior Member of IEEE and ACM. Current research focuses on virtual reality network optimization, mmWave beam alignment for autonomous vehicles, and blockchain-based network architectures. He leads the Mobile Telecommunications Unit and contributes to the B-PREPARED disaster preparedness initiative. Contact: scott.fowler@liu.se | +4611363298. Research Interests: Next Generation Networks (NGNs) Mobile Edge Computing (MEC) Autonomous Vehicle Communication Systems Blockchain for Networking Disaster Resilient Communication Industrial IoT & Logistics Recent Research Trends: Recent publications emphasize practical implementations of emerging 5G/6G technologies in real-world applications like VR gaming, autonomous vehicles, and industrial automation. Cross-disciplinary work integrates machine learning with telecommunications for smart network management. Grants & Projects: B-PREPARED: Multi-actor disaster preparedness framework Swedish Research Council grants for edge computing research Labs & Teams: Active contributor to Linköping's Mobile Telecommunications Unit and Communications & Transport Systems group, collaborating with industry partners like Sony Ericsson.