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

Adil Ahmadمشاهده پروفایل

استادیار

• Computer Security
• Systems Engineering
• Architecture
• +۳ مورد دیگر

Adil Ahmad is an Assistant Professor in the School of Computing and Augmented Intelligence (SCAI) at Arizona State University (ASU), Tempe, AZ. His research focuses on computer security, systems, and architecture, aiming to protect sensitive data from powerful adversaries using hardware-assisted trusted execution environments (TEEs) and secure system software design. Education: Ph.D. in Computer Science, Purdue University, 2022 B.S. in Computer Science, Lahore University of Management Sciences, 2016 Adil leverages TEEs to address protection and usability limitations while designing principles to strengthen critical system software (e.g., operating systems and hypervisors). His work has been supported by a US Department of Defense DEPSCoR Award, and he actively contributes to academic service as a program committee member and reviewer for top-tier conferences like IEEE S&P, USENIX Security, and ACM CCS. Selected publications include Veil (ACM ASPLOS 2023), OmniLog (USENIX Security 2023), and eOPF (USENIX OSDI 2023), focusing on confidential computing, secure logging, and cloud orchestration. He also leads outreach initiatives like the Desert CodeSprouts Workshop, promoting computer science education for middle-school students in cybersecurity, programming, and machine learning. Scientific Awards: US Department of Defense DEPSCoR Award Adil chairs sessions like "Verification for Security" at IEEE S&P and mentors students in systems and security research. He is open to hiring motivated PhD students and emphasizes hands-on, inclusive learning environments in his outreach activities.

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

استاد مدعو

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

Scott Patterson serves as an Adjunct Professor in the Department of Computer Science within the College of Science & Mathematics at Rowan University. His role supports undergraduate programs including BA in Computing & Informatics, BA in Computer Systems Technology, and BS in Computer Science, alongside graduate offerings such as MS in Computer Science and MS in Cybersecurity. His research spans core computing disciplines with emphasis on: Computer Science Software Engineering Cybersecurity Data Science Networking Artificial Intelligence These interests align with the department's concentrations in AI, Cybersecurity Defense, Data Science, and Software Engineering, as well as certificate programs in Blockchain, Ethical Hacking, and Network Security. As part of Rowan's computing faculty, he contributes to the department's mission of delivering industry-relevant education through project-based learning and specialized technical training.

• Distributed Systems
• Blockchain Technology
• Middleware Integration
• +۴ مورد دیگر

Julian Kalinowski is a researcher at the University of Hamburg's Department of Computer Science within the Faculty of Mathematics, Informatics, and Natural Sciences (MIN). His work focuses on distributed systems, blockchain technology, and middleware integration for mobile environments. Key projects include Jadex BDI Agent System and the cadeia initiative for distributed code execution in information markets. PhD candidate in Computer Science Email: kalinowski@informatik.uni-hamburg.de Room F510, Office hours by appointment Research interests span decentralized information markets, blockchain compliance (e.g., GDPR), and mobile middleware optimization. His 2015 best paper award at MATES conference highlights contributions to agent platform customization. Publications from 2012-2020 reveal trends in blockchain applications, smart grid optimization, and IoT security. Supervised 9 student theses covering decentralized billing, smart home systems, and localization technologies. Key awards: Best Paper Award (MATES-2015).

Florian Matthesمشاهده پروفایل

استاد

• Software Engineering
• Business Information Systems
• Natural Language Processing
• +۶ مورد دیگر

Florian Matthes is a Professor of Software Engineering for Business Information Systems at the Technical University of Munich (TUM), specifically within the TUM School of Computation, Information and Technology. Born in 1963, he has established himself as a leading researcher in software engineering, business information systems, and their applications across various domains. Prof. Matthes' research focuses on business information systems and software engineering, with particular emphasis on natural language processing applications in medical, legal, and enterprise contexts, privacy-enhancing technologies for digital platforms, and blockchain-based systems engineering. His work bridges theoretical computer science with practical industry applications, as evidenced by his co-founding of several successful IT startups including CoreMedia AG (1996), infoAsset AG (1999), Tr8cy UK Ltd (2018), and silver AI GmbH (2024). His publication record demonstrates consistent research productivity with over 400 research outputs spanning from 1990 to the present, with significant activity in recent years (2023-2025). His work spans multiple subfields including privacy-enhancing technologies, natural language processing, blockchain systems, and agile software development methodologies. The research shows a clear trend toward addressing contemporary challenges in AI ethics, data privacy, and the integration of emerging technologies into business information systems. Ernst Denert Award for Software Engineering 2022 Prof. Matthes has held significant leadership roles including Head of the Software Architecture working group of Gesellschaft für Informatik, membership on the advisory board of the Ernst Denert foundation for software engineering, and organization of several international conferences. He previously served as Dean of Studies at the Faculty of Computer Science at TUM until 2010 and has been a venture ambassador of the TUM Venture Labs since 2020. His academic journey began at J.W. Goethe University in Frankfurt (graduated 1988), followed by a doctorate at the University of Hamburg in 1992, and research at Digital Equipment Systems' research center in Palo Alto (1992-93). He was a professor at TU Hamburg-Harburg from 1997 to 2002 before joining TUM. His work demonstrates strong industry-academia collaboration through his startup activities and advisory roles, reflecting his commitment to translating research into practical applications while maintaining academic rigor.

Burak Özمشاهده پروفایل

پژوهشگر ارشد

• Blockchain Economics
• Maximal Extractable Value (MEV)
• Decentralized Finance (DeFi)
• +۳ مورد دیگر

Burak Öz is a Research Fellow at the Chair of Software Engineering for Business Information Systems (sebis) at the Technical University of Munich (TUM). His research focuses on blockchain economics, maximal extractable value (MEV), decentralized finance (DeFi), and Ethereum systems. University: Technical University of Munich School: Faculty of Informatics Department: Software Engineering for Business Information Systems Mr. Öz's research explores MEV extraction techniques, cross-chain arbitrage, and blockchain transaction ordering. He has contributed to foundational studies on MEV mitigation, smart contract optimization, and decentralized finance infrastructure. His recent work focuses on cross-chain MEV extraction and blockchain interoperability. He has published extensively in conferences like IEEE ICBC, ACM SAC, and AFT, with keywords spanning Ethereum, DeFi, and automated market makers. TLDR Research Fellow 2024 Burak Öz co-supervises master's theeses on MEV detection, transaction ordering, and blockchain security. He also teaches courses on blockchain systems engineering and software engineering for business applications at TUM.

• AI Accountability
• Socio-technical Systems
• Information Systems
• +۳ مورد دیگر

Long Hoang Nguyen serves as an Affiliated Researcher and PhD Candidate at the Technical University of Munich's Heilbronn campus within the Chair of Information Infrastructures (Prof. Ali Sunyaev). His work centers on AI accountability, integrating perspectives from Information Systems, Computer Science, and Law to examine socio-technical implications for stakeholders, particularly AI developers. He earned a Master’s degree in Information Systems from the University of Potsdam, specializing in Data Science and Human-Computer Interaction. His academic background is complemented by professional experience as a Research Assistant at Berlin's Weizenbaum Institute and as a Software Engineer at a Potsdam-based high-performance computing startup. Nguyen's research investigates how accountability mechanisms shape developer behavior in AI systems. He explores reward structures that encourage proactive accountability and synthesizes cross-disciplinary accountability frameworks, highlighting the interplay between technical design, legal requirements, and social dynamics in responsible AI development. His 2024 publications reveal a focus on practical accountability interventions for developers and interdisciplinary accountability dimensions. This work contributes to emerging trends in ethical AI, emphasizing actionable strategies for embedding accountability throughout the AI lifecycle. Scientific awards and major honors were not mentioned in the available information. He mentors students on thesis projects related to AI ethics, autonomous systems, and blockchain, with current topics including ethically aligned harm mitigation in autonomous driving and decentralized software applications. No specific research grants are detailed in the provided materials. Nguyen contributes to the AAIS research project (Accountable Artificial Intelligence-based Systems: A Multi-Perspective Analysis) within the Chair of Information Infrastructures, collaborating on multi-disciplinary investigations into AI accountability frameworks and developer practices.

Russell W. F. Laiمشاهده پروفایل

استادیار

• Cryptography
• Security
• Privacy
• +۲ مورد دیگر

Russell W. F. Lai is an Assistant Professor at the Department of Computer Science , Aalto University , focusing on the algebraic aspects of public-key cryptography and their applications to security and privacy. His research intersects mathematical foundations with practical cryptographic protocols . Research Areas: Cryptography Security Privacy Public-Key Cryptography Algebraic Cryptography Recent work includes advancements in lattice-based cryptography , with applications to updatable encryption , threshold signatures , traitor tracing , and verifiable delay functions . Key techniques involve Learning with Errors (LWE) and Short Integer Solution (SIS) problems. Scientific Awards: The Andreas Pfitzmann - PETS Best Student Paper Award Runner Up (2022) for "On Defeating Graph Analysis of Anonymous Transactions"

• Human-Computer Interaction (HCI)
• User Experience (UX) Design
• Usability Engineering
• +۹ مورد دیگر

Marko Nieminen is a Professor in the Department of Computer Science at Aalto University, specializing in Human-Computer Interaction (HCI), Strategic Usability, and ICT for Development (ICT4D). He leads the Strategic Usability Research Group (STRATUS) and contributes to initiatives like SoberIT and USchool. Research Interests: User-centered design methodologies Usability engineering in business and healthcare Collaborative ICT in industrial networks Participatory design for underserved communities Blockchain applications in energy systems Recent Publication Trends: His work bridges HCI, sustainability, and decentralized systems, focusing on blockchain-based energy markets, VR learning environments, and inclusive design practices across diverse contexts. Scientific Awards: Highly Commended Award, Journal of Information, Communication and Ethics in Society (2017) Distinguished Senior Researcher Award, Helsinki University of Technology (1999) Finnish Federation of Electrical and Electronics Industry Award (2002)

• Conceptual Modelling of Information Systems
• Data Modelling
• IT for Development
• +۲ مورد دیگر

Dr. Sietse Overbeek is an Associate Professor at the Faculty of Science, Utrecht University , where he has served as Director of the Artificial Intelligence, Computer Science, and Information Science Master's programs since 2022. He holds a Ph.D. in Computer Science (2009) and an M.Sc. in Information Science (2005) from Radboud University Nijmegen. 2008-2009: Postdoc at Delft University of Technology 2009-2012: Assistant Professor at Delft University of Technology 2013-2015: Assistant Professor at University of Duisburg-Essen 2015-2017: Lecturer at Utrecht University Dr. Overbeek's research focuses on conceptual modeling , data modeling , method engineering , and software development , with particular emphasis on agile practices , tool support , and sustainability in software development . His recent work explores LLM applications in requirements engineering and data-centric infographics . Key publication trends include: 2025: LLM-assisted agile development and AI team integration 2024: Environmental impact modeling for cyber-physical systems 2023: Work practice mining, CRM quality frameworks, and e-government architecture 2022: Data-centric infographics, impact assessment tools, and fairness in method engineering 2021: Human sustainability and blockchain governance

Dimitrije D. Čvokićمشاهده پروفایل

استادیار

• Bioinformatics
• Software Development
• Operations Research
• +۵ مورد دیگر

Dimitrije D. Čvokić serves as Assistant Professor and Head of the Department of Computer and Information Sciences within the Faculty of Science and Mathematics at the University of Banja Luka. His academic leadership spans curriculum development across computer science and mathematics disciplines, with teaching responsibilities including Data Structures, Algorithms, Software Engineering, and Mobile Application Development. His research focuses on competitive hub location problems, bioinformatics tool development, and blockchain applications. Čvokić pioneered the integration of Linux-based bioinformatics tools like BioLinux and UGene into biology curricula, while developing novel optimization algorithms for Stackelberg games in logistics networks. His recent work explores large language model terminology standardization and blockchain-based property investment platforms. Analysis of his publication trends reveals a strong trajectory from theoretical optimization (2015-2020) toward applied computational solutions (2021-2024), with increasing interdisciplinary collaboration spanning public health, real estate, and linguistic computing. His work demonstrates consistent methodological rigor in operations research while adapting to emerging technological domains. As an academic advisor, Čvokić has mentored multiple thesis students including Aleksandar Vrhovac (Interval Arithmetic, 2023), Danijela Kovačević (Automatic Control Systems, 2023), and Nemanja Marjanović (CAPTCHA systems, 2022). His teaching innovations include introducing Python programming, RDKit cheminformatics tools, and BASH scripting into diverse science curricula across chemistry, biology, and geodesy programs. Čvokić established computational laboratories featuring specialized software environments including Chemistry Add-in for Word, ChemSketch, UGene, and NET Bio Extension for Excel. His cross-departmental collaborations have modernized computer science instruction across the university's technical and natural science programs through systematic integration of open-source tools and modern development frameworks.

Burcu Kulahcioglu Ozkanمشاهده پروفایل

استادیار

• software testing
• program analysis
• concurrency
• +۵ مورد دیگر

Burcu Kulahcioglu Ozkan is an Assistant Professor at Delft University of Technology (TU Delft), Netherlands, where she leads the FORSE (Lightweight Formal Methods for Software Engineering) lab and co-directs Ripple's UBRI blockchain research initiative. Her research bridges formal methods and software engineering to enhance reliability in concurrent/distributed systems, blockchain, and software testing. Research Focus: Her work spans model checking, fuzzing, concurrency debugging, and distributed systems verification. Key interests include developing automated tools for testing blockchain implementations, randomized testing methodologies, and fault injection techniques. She integrates runtime data with AI to improve software quality through the TU Delft-JetBrains AI4SE collaboration. Recent Publication Trends: Her 15 most recent articles emphasize fuzzing techniques (e.g., model-guided fuzzing), blockchain consensus testing (Ripple, Byzantine fault tolerance), concurrency bug analysis (Kotlin Coroutines), and graph database verification. Work consistently applies formal methods to real-world distributed systems. Awards & Honors: Amazon Research Award (2023) for coverage-directed testing of distributed systems Stellar Academic Research Grant (2023) for blockchain fault injection Best Software Science Paper at ICGT'25 for graph database fuzzing Students & Funding: Advises PhD/Master's students (e.g., Melchior Oudemans, Levin Winter) on distributed systems testing. Research supported by Amazon, Stellar Development Foundation, and Ripple. Leads teams in FORSE lab and UBRI blockchain projects. Leadership: Regularly serves on PCs for ICSE, OOPSLA, CAV; keynote speaker at FORTE'25; co-chairs workshops (e.g., DEBT'25). Develops open-source tools like DSTest for concurrency testing.

Kristóf Marussyمشاهده پروفایل

استادیار

• Model-Driven Engineering
• Dependability Analysis
• Logic Solvers
• +۴ مورد دیگر

Kristóf Marussy is an Assistant Professor at the Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics. His work bridges model-driven engineering , dependability analysis , and logic solvers to address challenges in critical cyber-physical systems (railway, automotive, aerospace). He leads research in formal verification , automated reasoning , and graph generation , integrating AI with logic-based techniques for system reliability. His recent publications focus on stochastic analysis , abstraction algorithms , and distributed ledger architectures , often leveraging his tool Refinery for constraint-based model generation. Notable awards include the 2024 University Researcher Scholarship Programme (EKÖP) and the 2023 Josef Heim Award . He has served on program committees for OOPSLA, ECOOP, and MODELS. Education: PhD in Computer Science, Budapest University of Technology and Economics (2018–2023) MSc and BSc in Computer Science, Budapest University of Technology and Economics Professional Highlights: 2025–: Assistant Professor at BME, leading research in formal verification and graph-based logic reasoning 2020–2023: Assistant Research Fellow in Hungarian national projects (railway/automotive verification) 2018–2019: Assistant Research Fellow at MTA-BME Lendület Cyber-Physical Systems Research Group Scientific Contributions: Developed Refinery , an open-source graph solver for model generation Contributed to European Space Agency's VAMPIR project for positioning systems Created formal verification methods for critical subsystems in railway/automotive industries Awards: 2024 EKÖP Postdoctoral Scholarship Multiple ÚNKP Excellence Program grants (2016–2023) 2023 Josef Heim Award for innovation Conferences & Journals: Published 15+ papers in top venues (ICSE, ASE, MODELS, IEEETSE, etc.) Active in program committees for OOPSLA, ECOOP, and LLM4MDE Teaching: Course Coordinator for Critical Systems Laboratory since 2024 TA for 9 years, supervising 7 BSc and 4 MSc theses Advising Scientific Students' Association (5 Gold, 5 Silver awards)

• Customer Relationship Management (CRM)
• Information Technology Professional Competencies
• Fourth Industrial Revolution
• +۵ مورد دیگر

Seth J. Kinnett serves as Clinical Professor of Computer Information Systems in the College of Business at Colorado State University. He earned his Ph.D. in Computer & Information Sciences from DePaul University's Jarvis College of Computing & Digital Media, with master's and bachelor's degrees from Illinois Institute of Technology and DePauw University respectively. His academic career integrates 15 years of industry experience across business analysis, systems administration, sales management, and consulting roles. Ph.D. in Computer & Information Sciences, Jarvis College of Computing & Digital Media, DePaul University Master's from Illinois Institute of Technology Bachelor's from DePauw University Professor Kinnett's research centers on Customer Relationship Management systems, focusing on collaborative dimensions, blockchain integration, and adaptation to the Fourth Industrial Revolution. He investigates optimal IT professional competencies and higher education's evolution, while advancing programming pedagogy through gender dynamics analysis in Java courses, asynchronous learning effectiveness, and gamified CRM instruction. His work bridges theoretical inquiry with practical industry applications across business technology domains. His 2021-2025 publications reveal a dual trajectory: CRM innovation (blockchain loyalty programs, enterprise CRM vendor capabilities) and computing education advancement (Adventure RPG for Java instruction, multimodal database courses). This body demonstrates consistent commitment to solving real-world business technology challenges while enhancing pedagogical methods, with strong emphasis on Industry 4.0 adaptation and practical implementation frameworks. Professor Kinnett maintains active Salesforce certifications and authored the professional handbook 'How to Win at CRM' (CRC Press, 2017). His case studies on Trailhead and gamified CRM implementation reflect deep industry engagement, though specific grant funding details remain undocumented. His teaching portfolio includes CIS 200 (Business Information Systems), CIS 240 (Application Design), CIS 410 (Web Development), and CIS 665 (E-Business Technologies), directly connecting academic research to classroom practice.

• Digital Signal Processing
• Wavelet Transform
• Remote Laboratories
• +۳ مورد دیگر

Dr. Đorđe Damnjanović is an Assistant Professor at the Department of Computer and Software Engineering within the Faculty of Technical Sciences in Čačak , part of the University of Kragujevac . He specializes in digital signal processing, wavelet transform applications, and remote laboratory development for engineering education. Born: July 17, 1986, Belgrade Education: B.Sc. (2010), M.Sc. (2011), Ph.D. (2022) in Electrical and Computer Engineering His research focuses on audio signal analysis using wavelets, human-computer interaction , and remote experimentation systems. He has led projects like the NeReLa Tempus Network and contributed to blockchain consensus mechanisms . Publications span biomedical signal processing, noise reduction, and educational technology. Recent work includes 2025 studies on vehicle vibration analysis and 2024 papers on mobile earthquake detection. He teaches Signals and Systems , Digital Signal Processing , and Human-Computer Interaction at graduate and postgraduate levels.

• Digital Innovation
• Business Process Management
• License Management
• +۳ مورد دیگر

Giray Havur serves as a Researcher at the Institute for Innovation Systems within the Department of Digital Business and Innovation at St. Pölten University of Applied Sciences, focusing on digital transformation at the intersection of technology, law, and business processes. His research program centers on three critical domains: License Management Systems : Pioneering the DALICC framework for automated license clearance, customization, and compatibility checking in digital asset ecosystems Business Process Optimization : Applying Answer Set Programming to resource allocation, risk-aware process fragmentation, and decision-intensive workflow management Sustainable Data Governance : Developing Digital Product Passport architectures (DPP4ALL) for transparent supply chain tracking and circular economy applications Analysis of his 2021-2023 publications reveals a strategic shift toward operationalizing semantic technologies for regulatory compliance, with increasing emphasis on European sustainability initiatives and decentralized data exchange architectures. His work consistently bridges theoretical formal methods with practical industry applications. Dr. Havur actively contributes to major research projects including OpenDALICC (open license management framework), DPP4E (Digital Product Passport for Europe), and ECO-TCO (sustainable business modeling), collaborating with EU institutions and industry partners to advance digital innovation standards.