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

Lutz Precheltمشاهده پروفایل

استاد

• Software Engineering
• Empirical Software Engineering
• Agile Processes
• +۵ مورد دیگر

Lutz Prechelt is Professor of Informatics at Freie Universität Berlin where he heads the Software Engineering research group (AG SE). His academic journey spans theoretical foundations, industry experience, and extensive empirical research in software engineering. He has held significant administrative positions including Executive Director of the Institute of Informatics and member of various academic senates. Prechelt's research interests have evolved from artificial intelligence and neural networks to empirical software engineering, with a recent focus on qualitative approaches to Agile processes and Pair Programming. His work has consistently emphasized methodological rigor, having conducted pioneering controlled experiments on topics like type-checking, inheritance depth, design patterns, and the Personal Software Process. His research has also ventured into plagiarism detection (JPlag), melody recognition, and qualitative studies of pair programming dynamics. His publication record shows a clear transition from quantitative to qualitative approaches in empirical software engineering. Early work featured controlled experiments on specific technical aspects of software development, while more recent publications focus on qualitative analysis of team dynamics, agile methodologies, and research methodology itself. A notable thread throughout his career has been platform comparison studies (Plat_Forms) examining how different technologies affect development outcomes. Ernst Denert Software Engineering Award 2020 Prechelt has served extensively as reviewer for major funding agencies including DFG, EU, ERC, and BMBF, and as editor for journals like Journal of Universal Computer Science and Transactions on Pattern Languages of Programming. He founded the Forum for Negative Results (FNR) to address publication bias in scientific research. His research group has developed several notable software tools including Saros for distributed pair programming, JPlag for plagiarism detection, and tools for maintainable lecture videos.

Thomas Ottoمشاهده پروفایل

مدرس

• Perceptual Neuroscience
• Cognitive Neuroscience
• Multisensory Decision Making
• +۳ مورد دیگر

Dr Thomas Otto is a Lecturer at the University of St Andrews' School of Psychology and Neuroscience. His research focuses on the interface between perceptual and cognitive neuroscience, employing mental chronometry and mathematical modeling to investigate multisensory decision-making processes. Current work examines cognitive architectures underlying human decision-making in multisensory contexts, logical decision gates, and variability in response time tasks. He has supervised four PhD students and led a BBSRC-funded project on multisensory decision frameworks (2016–2019). Research interests include multisensory integration mechanisms, response time analysis, and decision-making models. Key contributions involve testing race models for audiovisual motion and semantic congruency effects in multisensory responses. Recent studies explore contextual influences on decision processes and subjective visual awareness effects. Publications span 20 years, focusing on perceptual decision-making, race models, and multisensory integration. Developed the RSE-box analysis tool for response time studies. Active in presenting at conferences and leading collaborative datasets (e.g., audiovisual decision-making projects). Labs/Teams: Directs the Cognitive Chronometry Lab (http://lclab.wp.st-andrews.ac.uk/), focusing on temporal aspects of perception and decision-making.

Sangyoung Parkمشاهده پروفایل

استادیار

• Smart Mobility Systems
• Electric Vehicle Battery Management
• Energy Consumption Optimization
• +۳ مورد دیگر

Sangyoung Park is an Assistant Professor of Smart Mobility Systems at the Faculty of Mechanical Engineering and Transport Systems, Technical University of Berlin, and is co-affiliated with the Einstein Center for Digital Future. His research focuses on two main areas: enhancing vehicle safety through digitalization and connectivity, and advancing the electrification of the transport sector with emphasis on electric vehicle battery systems design and management. He leads the Chair of Smart Mobility Systems at TU Berlin, where his team investigates how vehicle connectivity can improve energy efficiency, traffic flow, and safety in autonomous vehicle systems. Dr. Park completed his PhD in Electrical Engineering and Computer Science at Seoul National University in Korea, where he focused on energy management techniques for hybrid energy storage systems in electric vehicles. Before joining TU Berlin in 2018, he conducted postdoctoral research at the Technical University of Munich, working on energy management for smartphones in collaboration with Google and studying battery aging processes. His research interests span smart mobility systems, electric vehicle battery management, energy consumption optimization, vehicle connectivity, and autonomous driving systems. Park's work bridges the gap between design engineers and software engineers, investigating how different energy storage components (fuel cells, supercapacitors, lithium-ion batteries) should be interconnected and managed together for maximum efficiency. His research also addresses the design of charging infrastructure for electric vehicles. Analysis of Dr. Park's recent publications reveals a strong focus on digital twin technology for teleoperated driving, battery management systems for electric vehicles, and vehicle connectivity for improved safety and efficiency. His research increasingly integrates cybersecurity aspects of connected vehicles and explores novel approaches to extend battery lifespan through advanced cell balancing techniques. The interdisciplinary nature of his work connects electrical engineering, computer science, transportation systems, and urban infrastructure planning. Dr. Park supervises multiple doctoral students, including Philipp Kremer, Ongun Türkçüoglu, Kil Young Lee, Maria Claudia Miguel de Priego, Muzaffer Citir, Andrea Reindl, Subhendu Bhadra, and Hueseyin Türkyilmaz. His research is supported by various funding sources including the ECDF grant, DAAD projects (ide3a), and government scholarships. He collaborates with institutions including OTH Regensburg and Siemens Mobility. His laboratory, the Smart Mobility Systems group, focuses on developing system-level approaches for measuring, analyzing, and balancing energy consumption in battery-powered mobile systems. The team investigates how direct communication among autonomous vehicles can enable control scenarios that improve energy efficiency, traffic flow, and safety beyond what human drivers or isolated autonomous vehicles can achieve.

• Business Process Management
• Process Mining
• Object-Centric Process Mining
• +۶ مورد دیگر

Amin Jalali is an Associate Professor of Computer and Systems Sciences at Stockholm University, specializing in business process modeling, analysis, and management. He is affiliated with the Department of Computer and Systems Sciences within the Faculty of Social Sciences, where he serves as a board member and manages three graduate courses: Business Process Design and Intelligence, Business Process and Case Management, and Data Warehousing. Institution: Stockholm University Department: Department of Computer and Systems Sciences (DSV) Research Groups: Natural Language Processing Research Group and PRECIS (Process, Requirements, Enterprise, Capability, Information Systems modelling) His research focuses on business process analysis through model-based and data-driven techniques, with particular emphasis on process simulation, process mining, event knowledge graphs, and object-centric process mining. He has led numerous research projects across healthcare, education, and finance domains. His work includes significant contributions to the development of NLP methods involving large language models, with focus on privacy, explainability, and domain adaptation. Jalali's research output shows a strong trend toward practical applications of process mining techniques, particularly in healthcare contexts like drug-drug interaction analysis and elderly care. More recently, his work has expanded into blockchain applications for fraud detection, motor imagery signal classification, and advanced object-centric process mining approaches. His publications span both theoretical contributions to business process management frameworks and practical implementations in real-world settings. He has extensive industry experience in designing and implementing Business Intelligence and Big Data Analytics solutions, which informs his academic work and teaching approach. His research has been published consistently from 2012 through 2024, demonstrating sustained scholarly productivity in his field. Dr. Jalali has contributed significantly to the development of tools and libraries for process mining, including the dfgcompare library for process variant analysis and implementations for object-centric process mining. His work bridges academic research with practical applications, particularly evident in healthcare projects like the DDIs-Graph system for identifying drug-drug interactions.

• Software Engineering
• Model Checking
• Formal Verification
• +۴ مورد دیگر

Professor Tomoji Kishi is a distinguished faculty member at Waseda University's School of Creative Science and Engineering, where he has been serving since 2009. Previously, he held academic positions at Japan Advanced Institute of Science and Technology (2003-2009) following a 21-year career at NEC Corporation (1982-2003). He earned his Ph.D. in Information Science from Japan Advanced Institute of Science and Technology in 2002, building upon his earlier engineering graduate studies at Kyoto University. Professor Kishi's research focuses on software engineering, particularly in software product line development, model checking, formal verification, and aspect-oriented modeling. His work bridges theoretical formal methods with practical applications in embedded systems, automotive software, and IoT technologies. He has made significant contributions to scalability challenges in model checking for configurable systems and has pioneered approaches to variability management and approximate modeling techniques. His publication record demonstrates remarkable consistency and evolution, with 42 papers and 153 citations according to Scopus data (h-index: 7), spanning from foundational work in software architecture in the 1990s to cutting-edge research on AI-enhanced verification methods in 2025. His recent work shows increasing application of machine learning techniques to traditional formal methods problems, particularly in the context of highly configurable systems and IoT applications. ITS Standardization Activity Merit Prize (2022) from Society of Automotive Engineers of Japan IPSJ/ITSCJ Standardization Contribution Award (2017) IPSJ/ITSCJ Project Editor Award (2016 and 2013) Information Processing Society of Japan Society Activity Contribution Award (2010) IPA/SEC Journal Best Paper Award (2007) Information Processing Society of Japan Yamashita Memorial Research Award (1998) Professor Kishi has led multiple JSPS-funded research projects, including recent work on 'variability management methods prioritizing usability through variability mining' (2020-2023) and 'utility-first modeling method' (2017-2020). His industry collaborations, particularly with automotive systems developers, demonstrate the practical impact of his research. He maintains active membership in major professional societies including IEEE Computer Society, ACM, and the Information Processing Society of Japan.

Michele Lanzaمشاهده پروفایل

استاد

• Software Engineering
• Software Visualization
• Software Evolution
• +۷ مورد دیگر

Michele Lanza is a Full Professor at the Faculty of Informatics, Università della Svizzera italiana (USI), Lugano, where he co-founded the faculty in 2004. He is the founder and director of the Software Institute (since 2017) and leads the REVEAL research group, focusing on software visualization, evolution, and analytics. He holds a PhD from the University of Bern (2003), where he also earned his MSc (1999), and was a postdoctoral researcher at the University of Zurich. Research Interests: Software Engineering Software Visualization (notably the 'City Metaphor') Mining Software Repositories (MSR) Software Evolution and Analytics Program Comprehension Reverse Engineering and Architecture Recovery His recent publications (2023–2025) emphasize immersive software visualization in virtual reality, automated documentation, code refactoring, and empirical studies on developer behavior and documentation. There is a strong trend toward human-centric, visual, and data-driven approaches, often leveraging VR and interactive tools for deeper software understanding. Scientific Awards: Ernst Denert Award (2003) Credit Suisse Teaching Award (2007, 2009) Best Paper Awards (SANER 2024, VISSOFT 2022, ICPC 2016) Most Influential Paper Award (MSR 2010) Advising and Grants: Prof. Lanza has supervised over 13 PhD students and numerous MSc and BSc theses, fostering a vibrant research group. He leads multiple funded projects, including SNF grants (FORCE, TUML, INSTINCT, PROBE, ESSENTIALS, BIGDATA), FFL (CSRD), and industry R&D initiatives. Funding supports travel, hardware, software, and PhD positions, enabling cutting-edge research in software engineering. Labs and Teams: He leads the REVEAL research group and the Software Institute at USI, which serve as hubs for innovation in software visualization, mining, and evolution. These teams are highly collaborative, interdisciplinary, and active in top-tier conferences (ICSE, FSE, ICSME, MSR, VISSOFT).

• Microwave Theory and Techniques
• Wireless Communications
• MIMO Systems
• +۱۲ مورد دیگر

Professor Dimitra Kaklamani is a distinguished faculty member at the School of Electrical and Computer Engineering at the National Technical University of Athens (NTUA), where she serves as a Professor in the Division of Information Transmission Systems and Material Technology. With over 300 publications to her name, she has established herself as a leading researcher in microwave engineering, wireless communications, and computational electromagnetics, having progressed through academic ranks from Lecturer (1995) to Professor (2009). Her research spans numerous critical areas in electrical engineering: Microwave Theory and Techniques Wireless Communications and MIMO Systems Computational Electromagnetics Object-Oriented and Distributed Computing Security & Privacy in Networked Systems Machine Learning Applications in Telecommunications Professor Kaklamani's research trajectory demonstrates a natural evolution from traditional microwave engineering toward cutting-edge areas like AI-enabled wireless communications and privacy-preserving network architectures. Her recent work (2023-2025) shows particular focus on intelligent metasurfaces for wireless communications, federated learning applications in next-generation networks, and security aspects of 5G/6G systems. This reflects both continuity with her foundational work in computational electromagnetics and adaptation to emerging technological frontiers. She serves as Editor of an international book by Springer-Verlag (2000) in applied Computational Electromagnetics and regularly reviews for IEEE journals, demonstrating her standing in the scholarly community. Her teaching portfolio is equally comprehensive, ranging from foundational courses like Linear Circuits Analysis to advanced topics such as Computational Electromagnetics and Machine Learning in Mobile Computing, reflecting her broad expertise across electrical engineering disciplines.

• Internet of Things
• Open Source Software
• Program Comprehension
• +۶ مورد دیگر

Simon Butler is a Senior Lecturer in the Department of Information Technology at the University of Skövde's School of Informatics. He is an active member of the Distributed Real-Time Systems research group and contributes significantly to undergraduate computer science education. His academic work bridges theoretical research with practical industry applications in software development. Butler's research interests center on the challenges software developers face in creating and maintaining software systems, with particular focus on program comprehension, software maintenance, and the socio-technical and educational aspects of software development in hybrid environments where open source and proprietary solutions coexist. His work addresses critical issues in Internet of Things (IoT) systems and the practical implementation of open source software solutions in industrial contexts. His publication record from 2018-2023 reveals a strong research trajectory focused on open source software adoption, interoperability challenges, and standardization processes. His work spans diverse venues including Software Quality Journal, Journal of Systems and Software, IEEE Transactions on Software Engineering, and OpenSym proceedings, demonstrating both academic rigor and practical relevance to industry challenges. Butler is actively involved in several significant research projects including SUDO (2020-2024) addressing lock-in effects in IT systems, OSSD (2021-2023) developing educational programs for sustainable digitalization, and LIM-IT (2016-2020) investigating interoperability and long-term maintenance challenges. His teaching portfolio includes core computer science subjects such as Operating Systems, Object Oriented Programming, Algorithms and Data Structures, and Distributed Systems. As a member of the Distributed Real-Time Systems research group, Butler collaborates with industry partners to address real-world challenges in software development practices, particularly focusing on how organizations can effectively integrate open source solutions while avoiding problematic lock-in effects that compromise long-term system sustainability.

Amel MAMMARمشاهده پروفایل

استاد

• Formal Methods
• Software Verification
• Computer Security
• +۳ مورد دیگر

Amel MAMMAR is a Professor at Telecom SudParis, specializing in formal methods and software verification. Her work focuses on applying the Event-B method to model and verify critical systems such as automotive systems, railway signaling, and cloud applications. She has contributed extensively to the development of formal approaches for ensuring correctness in embedded systems, smart contracts, and security protocols. Her research integrates formal modeling with tools like SAGEMATH for hybrid systems analysis and ProB for policy validation. MAMMAR collaborates on projects involving requirements engineering, safety-critical systems, and access control mechanisms. Her key contributions include Event-B models for automotive exterior lighting systems, railway standards (ERTMS/ETCS), and cloud resource allocation. She has published widely in venues like the International Journal on Software Tools for Technology Transfer and IEEE Transactions, emphasizing formal verification techniques for safety and security. Her work bridges theoretical formal methods with practical applications in industry sectors like transportation and aerospace.

Anya Helene Baggeمشاهده پروفایل

دانشیار

• Programming Language Design and Implementation
• Software Language Engineering
• Semantics of Programming Languages
• +۸ مورد دیگر

Anya Helene Bagge is an Associate Professor in the Department of Informatics at the University of Bergen, where she is a researcher at the Bergen Language Design Laboratory. Her work focuses on programming languages and software language engineering, with strong ties to education and tool development. Research Interests: Programming language design and implementation Software language engineering Semantics of programming languages Domain-specific languages and language extensions Program transformation using Rascal, MPL, and Stratego/XT Aspect-oriented programming, especially Domain-Specific Aspect Languages Her recent publications reflect a consistent focus on software language engineering, refactoring, microservice security, and programming education. Themes across her work include language design, program analysis, and the development of educational tools and methodologies. Scientific Awards: The Realist Committee's Teaching Award 2016/17 Lecturer of the Year in Computer Science (Spring 2015) Anya Bagge actively supervises students, including PhD and Master’s candidates such as Tero Hasu, Kristoffer Haugsbakk, and Nina Andersen. She has been involved in numerous academic activities, including organizing the OOPSLE workshop and serving on program committees for conferences like SLE, HILT, and WCRE. She has also taught core courses including INF101, INF225, and INF328, demonstrating a strong commitment to both research and teaching. Labs and Teams: She is affiliated with the Bergen Language Design Laboratory , collaborating with researchers such as Magne Haveraaen, Eva Burrows, and Tero Hasu.

Gefei Zhangمشاهده پروفایل

استاد

• Data Science
• Software Engineering
• Model-Driven Software Development
• +۳ مورد دیگر

Prof. Dr. Gefei Zhang is a Professor of Media Informatics at HTW Berlin. He holds a Master’s and PhD from Ludwig-Maximilians-Universität München (LMU). His research focuses on Data Science and Software Engineering, with expertise in aspect-oriented modeling, UML state machines, and model-driven development. He teaches software and data science courses and previously contributed to the Programming and Software Engineering Group (PST) at LMU, now part of the Software and Computational Systems Lab (SoSy). Research interests include aspect-oriented programming, web engineering, and adaptive systems. He has published extensively on topics like UML state machines, software metrics, and HiLA framework applications. Awards include the Best Paper Award at AOM@MoDELS'09. Office hours are by appointment. His work bridges academic research and industry, with past roles in software development for large-scale web applications. Collaborations and grants are part of his ongoing contributions to computer science education and innovation.

Mario Di Francescoمشاهده پروفایل

استاد

• Wireless Networking
• Mobile and Ubiquitous Computing
• Internet of Things
• +۴ مورد دیگر

Mario Di Francesco is a Professor at the Department of Computer Science, Aalto University. He holds the position of Professor in Computing Systems (ComputingSystems) Research Area and leads multiple research projects in networking and IoT. Previously, he was a research associate and adjunct faculty at the University of Texas at Arlington (2012–2014), and completed his PhD in Information Engineering at the University of Pisa under Prof. Giuseppe Anastasi. He also served as a research fellow at Scuola Superiore Sant'Anna in 2009. Research Interests : His work focuses on wireless networking, mobile and ubiquitous computing, and the Internet of Things (IoT). Key areas include edge computing, fog networks, virtual/augmented reality, and AI-driven resource management. His research contributes to UN Sustainable Development Goals related to innovation and infrastructure (SDG 9), sustainable cities (SDG 11), and industry/infrastructure development (SDG 9). Publications : His recent work spans topics like private virtual reality conversations, cloud-based network measurement frameworks (CLAIM), microservice connectivity analysis, and edge-DNN optimization. These publications reflect a trend toward integrating AI with distributed systems for real-time, low-latency applications in IoT and edge computing. Awards : Recipient of the Google Internet of Things Technology Research Award (2016) and MobileHCI Honorable Mention (2020). Grants & Projects : CRUISE (2023–2025): Cross-system architecture for autonomous wireless networks using lifelong machine learning. MeXICO (2020–2024): Mobile cross-reality through immersive computing. ASPECT (2016–2018): Spectrum utilization for mobile video. Labs & Teams : Leads research groups focused on edge computing, IoT systems, and immersive technologies. Collaborates with international partners on projects like fog radio networks and autonomous system design.

Eunjee Songمشاهده پروفایل

دانشیار

• Software Engineering
• Aspect-Oriented Modeling
• Software Security
• +۳ مورد دیگر

Eunjee Song is an Associate Professor and Graduate Program Director in the Department of Computer Science at Baylor University, Waco, Texas. She joined Baylor in 2006 and has held positions ranging from Lecturer (2006-2007) to Assistant Professor (2007-2013), Associate Professor (since 2013), and Graduate Program Director (2017-2021, 2023-current). PhD (2006) and MS (2001) in Computer Science from Colorado State University BS in Computer Engineering (1991) and Architecture (1988) from Seoul National University Her research focuses on software engineering , particularly aspect-oriented modeling for software security. Key interests include model-driven engineering , software verification , formal methods , and adaptive control of real-time systems . Her work often integrates property formalization and model verification for high-confidence systems. Recent publications emphasize hybrid access control systems , testability frameworks , and adaptive user interfaces , reflecting her expertise in model-driven security solutions . She has co-authored 15+ papers, with several appearing in SCI-indexed journals. Best Conference Paper Award at RACS 2012 She has advised 13 graduate students (PhD and MS) since 2007, including collaborations with Dr. Tomas Cerny (University of Arizona) and Dr. David Lin (SMU). Courses taught include Advanced Software Engineering, Software Verification & Validation, and Software Quality Assurance.

Ragnhild Kobro Rundeمشاهده پروفایل

دانشیار

• Computing Education
• Software Engineering
• Formal Methods
• +۳ مورد دیگر

Ragnhild Kobro Runde is an Associate Professor in Computing Education at the Department of Informatics, University of Oslo. Her work focuses on software engineering methodologies, formal methods in system design, and computing education at both secondary and undergraduate levels. She is affiliated with the Computing Education research group. Her research explores topics such as UML sequence diagram semantics, formal specification techniques (Event-B/STAIRS), and the transition from block-based programming (Scratch) to text-based languages (Python) in schools. She also investigates how ICT exposure impacts mathematics self-belief and academic performance in PISA assessments. Runde has contributed to over 30 peer-reviewed publications since 2005, appearing in journals like Formal Aspects of Computing and Software and Systems Modeling. Her work frequently addresses challenges in software design, security risk analysis, and service-oriented architecture modeling using UML extensions. Key contributions include developing pattern languages for web application security risk analysis, analyzing nondeterminism in sequence diagrams, and creating methodologies for dynamic service composition using UML 2.x. She has collaborated with international researchers on computing education initiatives and formal methods applications.

• Software Engineering
• Cybersecurity
• Cloud Computing
• +۳ مورد دیگر

Georg Simhandl is affiliated with the Faculty of Computer Science, specifically within the Research Group Software Architecture. His work focuses on advancing theoretical and practical aspects of software engineering with a strong emphasis on cybersecurity, microservices, and empirical studies. Research Interests: His core research spans Microservices Architecture , Cybersecurity in Software Systems , Formal Methods , and Empirical Software Engineering . He investigates topics such as secure firmware updates, threat modeling for microservices, and developer cognition in system maintenance. Recent work highlights include leveraging TPMs for cryptographic anchoring and analyzing how dataflow diagrams enhance security analysis. Activities: He has presented at conferences like the ACM SIGPLAN International Conference on Software Language Engineering (SLE '24) and participated in workshops such as the IEEE/ACM International Workshop on Eye Movements in Programming (EMIP). His research bridges theoretical frameworks with practical software development challenges. Labs/Teams: Works within the Research Group Software Architecture, contributing to projects on secure architecture design and empirical evaluation of software practices.