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

• Software Engineering
• Artificial Intelligence
• Big Data
• +۱۲ مورد دیگر

Prof. Bedir Tekinerdogan is a full professor and chair of the Information Technology group at Wageningen University. With over 25 years of experience, he holds a PhD and MSc from the University of Twente. Previously, he was at Bilkent University (2003–2015), where he founded the Bilkent Software Engineering Group. His roles include academic leadership, research, and industry collaboration across domains like automotive systems, cyber-physical systems, and AI. Education: - MSc (1994), PhD (2000) in Computer Science, University of Twente. Research Interests: Focuses on software engineering fundamentals, AI-driven systems, and interdisciplinary approaches to solve industrial challenges. Specializes in software architecture design, model-driven engineering, global software development, and systems engineering. Combines expertise in machine learning, cloud computing, and enterprise systems to address complex technical and organizational problems. Teaching & Mentorship: Developed over 20 academic courses and trained professionals globally. Supervised >25 PhD and >80 MSc students. Active as a reviewer for journals and international projects. Professional Activities: - Board member of Agromatics Society (agro-informatics). - Member of VERSEN (Dutch Software Engineering Association). - Involved in initiatives like World Alliance on Digitalization for Disaster Management (WADDEM) and AMS Institute for metropolitan solutions. Projects: Leads/engaged in projects like INREF Smart-In-Ag (SMART farming in Indonesia), VIRAL (ICT in agricultural learning), and IoF2020 (IoT in agrifood sectors).

Ivan Gavranمشاهده پروفایل

پژوهشگر

• Formal Verification
• Reinforcement Learning
• Multi-Robot Systems
• +۳ مورد دیگر

Ivan Gavran is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied aspects of computer science. His primary research interests include formal verification, reinforcement learning, multi-robot systems, and cyber-physical systems. He explores the intersection of formal methods with machine learning and robotics, aiming to create robust, provably correct systems. His work emphasizes practical applications such as smart contract verification, human-robot collaboration, and distributed task planning. He has developed tools like Lassie for interactive theorem proving and Antlab for multi-robot task coordination. Gavran’s contributions bridge theoretical computer science with real-world systems, addressing challenges in security, reliability, and scalability. While no formal awards are listed in the provided text, his publications reflect significant engagement with leading conferences in formal methods and robotics. His research often involves collaborative projects, leveraging MPI-SWS’s interdisciplinary environment to tackle complex problems in distributed systems and artificial intelligence.

James Kirkpatrickمشاهده پروفایل

پژوهشگر

• Charge Transport
• Organic Semiconductors
• Multiscale Modeling
• +۳ مورد دیگر

James Kirkpatrick is a Researcher at the Max Planck Institute for Polymer Research, focusing on multiscale modeling of charge transport in conjugated materials. His work integrates atomistic simulation, quantum chemical methods, and numerical charge transport simulations to understand electronic properties in organic semiconductors. He completed his PhD at Imperial College (2007), where his research involved developing computational tools for calculating electrostatic disorder and transfer integrals in conjugated materials, with applications in organic solar cells and molecular disorder studies. Key research areas include molecular dynamics of discotic liquid crystals like hexabenzocoronene, charge carrier mobility in columnar mesophases, and the relationship between molecular structure and electronic transport properties. His studies combine ab initio quantum chemistry with large-scale simulations to predict material behavior for organic electronics. Publications emphasize computational methodologies for charge transport analysis, including a software toolkit for simulating organic semiconductors. His work bridges theoretical and applied aspects of materials science, with implications for next-generation optoelectronic devices.

Erik P. de Vinkمشاهده پروفایل

دانشیار

• Formal Methods
• Software Product Lines
• Probabilistic Systems
• +۶ مورد دیگر

Erik P. de Vink is an Associate Professor at Eindhoven University of Technology (TU/e), Department of Mathematics and Computer Science. He also serves as an Associated Research Fellow at CWI, the Dutch National Research Institute for Mathematics and Computer Science. His research focuses on formal methods, software product lines, dynamic system adaptation, and probabilistic process algebra. He has held roles such as Treasurer of Formal Methods Europe and organized symposia like the International Symposium on Formal Methods (2018). His academic background includes a PhD from VU Amsterdam, a Senior Researcher position at KPN, and prior teaching at Leiden University. Key research interests include formal modeling of software systems using tools like mCRL2 and Prism, analysis of feature-behavior interactions in software product lines, and validation techniques for dynamic system adaptation. He has co-promoted 9 PhD students in areas like denotational semantics, security, and probabilistic process algebra. His work integrates theoretical computer science with practical applications in distributed systems and concurrency. Recent articles explore topics such as formal methods education, bisimulation in polyhedral models, and probabilistic process analysis. He contributes to open-source tool development (e.g., mCRL2) and has published extensively in journals like Formal Aspects of Computing and Journal of Logical and Algebraic Methods in Programming .

• Software Engineering
• Artificial Intelligence Ethics
• UML
• +۳ مورد دیگر

Gonzalo Génova Fuster is a faculty member at the Carlos III University of Madrid in the Computer Languages and Systems department. His academic career spans over two decades with significant contributions to software engineering, semiotics, and ethics in computing. He has directed multiple theses and collaborated extensively in interdisciplinary research combining technology and philosophy.

André van Hoornمشاهده پروفایل

استاد

• Software Performance Engineering
• Distributed Systems
• Software Architecture
• +۴ مورد دیگر

Prof. Dr.-Ing. André van Hoorn was a distinguished academic at the University of Hamburg , leading the Software Development and Construction Methods group in the Department of Computer Science since 2023. His research focused on quantitative analysis of performance and quality attributes in complex distributed systems, contributing significantly to software engineering and architecture communities. He held leadership roles in SPEC Research and organized ICPE and ECSA conferences. Education and Career: He previously worked at Oldenburg, Kiel, and Stuttgart universities. His academic rank was Professor, reflecting his expertise and leadership in software systems research. Research Interests: His work emphasized resilience engineering, microservices, cloud computing, and performance optimization. He developed tools like Kieker for performance monitoring and frameworks like Radon for serverless computing analysis. Teaching and Outreach: He actively mentored students and pioneered the SeaSchool project to introduce students to non-programming aspects of computer science. His pedagogical innovations included tablet-based e-exams in large courses. Legacy: His contributions span academic leadership, impactful research, and community engagement. Condolence books are available at the University of Hamburg’s Department of Computer Science, and a fundraising campaign supports his family.

Toktam Ramezanifarkhaniمشاهده پروفایل

دانشیار

• Information Security
• IoT Security
• Cybersecurity
• +۲ مورد دیگر

Toktam Ramezanifarkhani is an Associate Professor at Kristiania University College's School of Economics, Innovation and Technology. She teaches information security, risk management, and governance across bachelor's and master's programs. Her research spans Cybersecurity with specializations in IoT security, malware analysis, and human factors in security. Research Focus: She investigates theoretical and practical aspects of Information Security including Software Security, Vulnerability Analysis, Applied Cryptography, and Formal Methods. Recent work explores AI applications in cybersecurity and DevSecOps integration. Student Advising: Actively supervises graduate research in: IoT Security Machine Learning for Authentication Malware Analysis Formal Methods in Security Recent Publications: Her scholarly output demonstrates consistent focus on security frameworks, privacy-by-design architectures, and threat mitigation in distributed systems, with recurrent themes in IoT security and compliance mechanisms.

• Software Engineering
• Software Testing
• Service-Oriented Architecture (SOA)
• +۳ مورد دیگر

Thomas Artner is a PreDoc Researcher at the Technical University of Vienna (TU Wien), affiliated with the Department of Business Informatics under the Faculty of Informatics. He serves as a Substitute Member of the Curriculum Commissions for Informatics and Business Informatics. His research focuses on software engineering, testing methodologies, service-oriented architectures, and eHealth systems. He holds a Diploma in Informatics from TU Wien (2011) and has contributed to projects involving automated testing frameworks and tool integration in security-critical environments. Artner teaches courses such as Advanced Software Engineering, Software Quality Assurance, and Software Testing, reflecting his expertise in practical and theoretical aspects of software development. His publications address challenges in data visualization from software tools, framework design for SOA testing, and automated verification in eHealth systems. While no formal awards are listed, his work demonstrates significant contributions to testing methodologies and secure system integration. He has supervised student research, including a diploma thesis on mobile ticketing systems for educational software engineering.

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

Dr. Jarrod Trevathan is a researcher at James Cook University, with a career spanning computer science, environmental monitoring, and information security. His work focuses on wireless sensor networks, virtual research environments, and online auction systems. He has collaborated extensively with colleagues like Trina Myers and Wayne Read. Research Highlights: Developed auction-based protocols for sensor network resource allocation Created middleware platforms for heterogeneous sensor integration Built Web2.0 disaster response systems (Riskr) Contributed to semantic enablement of virtual research environments Explored behavioral aspects of online auction fraud Teaching Innovations: Applied process-oriented guided inquiry learning to large IT courses Integrated active learning techniques for online ICT education

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

مدرس ارشد

• Programming Languages
• Formal Methods
• Software Engineering
• +۳ مورد دیگر

David Lightfoot is a Senior Lecturer in Computing at the School of Engineering, Computing and Mathematics, Oxford Brookes University. He specializes in programming-language design, formal methods, and formal derivation of programs. His research interests include programming languages, formal aspects of computer science, and software engineering. He has published in reputable venues such as Lecture Notes in Computer Science. Education: BA in Computing Science and MSc in Computation. Teaching includes modules on programming, software engineering, formal methods, and computer graphics. He has extensive experience in collaborative provision with institutions like the Informatics Academy in Singapore and has held roles such as liaison manager. Professional memberships include the British Standards Institute and ISO WG13 for Modula-2 standardization, and the BCS FACS group. Past roles include consultancy for the UK Atomic Energy Authority and Reading University/Airinmar, alongside diverse industry experiences in programming, education, and software development since the 1970s. He contributes to research groups like the Applied Formal Methods Research Group and the Cloud Computing and Cybersecurity Group.

• Computer Science
• Information Technology
• Software Development
• +۳ مورد دیگر

Russell Huebner is a Lecturer in the Department of Computer Science at Saint Martin's University, affiliated with the Hal and Inge Marcus School of Engineering. He contributes to programs such as the Master of Science in Computer Science and Information Technology. Based on the Main Campus in Lacey, his role emphasizes teaching and academic guidance within computational disciplines. While specific research interests are not detailed, his affiliation with Computer Science suggests a focus on education-oriented technical topics, software development principles, and STEM pedagogy. He is involved with associated programs that bridge theoretical and applied aspects of computing. No academic awards, published articles, or listed students are explicitly mentioned in the provided information.

• Software Development Methodology
• Agile Software Development
• Lean Software Development
• +۷ مورد دیگر

Professor Valentino Vranić is affiliated with the Faculty of Informatics at Pan-European University , Bratislava, Slovakia. He is a leading figure in software development methodology, focusing on bridging implementation and organizational perspectives through patterns, agile, and lean approaches. Position: Professor Workplace: Institute of Applied Informatics Room: 311, Bratislava Email: valentino.vranic@paneurouni.com, val.vranic@gmail.com Research Interests : Professor Vranić specializes in: Software architecture and modeling Aspect-oriented programming (AOP) and modularization Use case-driven development Drama patterns and organizational pattern animation Peripheral perception in distributed teams Agile and lean methodologies Scientific Contributions : Coined drama patterns and peripheral perception techniques Authored textbooks "Software Modeling: Use Cases, UML and Beyond" and "Object-Oriented Programming: Objects, Java and Aspects" Established AdvanSD Research Group at Slovak University of Technology Leadership & Service : Program Co-Chair of premier PLoP Conference (2023-2024) Board member of Hillside Group Active in ADBIS Conference program committees

• Educational Psychology
• Teachers' Professional Identity Development
• Psychological Resilience
• +۳ مورد دیگر

Milica Stoјković is an Assistant Professor in the Department of Social Sciences and Humanities at the Faculty of Technical Sciences in Čačak, University of Kragujevac, Serbia. She holds a PhD in Psychology from the University of Belgrade with a dissertation on 'Teachers' professional identity development.' Her academic career spans over a decade, with positions progressing from Teaching Assistant to Assistant Professor at the Faculty of Technical Sciences in Čačak since 2012. Dr. Stoјković earned her PhD in Psychology (2012-2018) and her undergraduate degree in Psychology (2005-2010), both from the Faculty of Philosophy at the University of Belgrade. She is also a certified Gestalt Psychotherapist accredited by the European Association for Gestalt Therapy and has completed training in Constructivist psychotherapy. Her educational background is complemented by professional development in qualitative data analysis using MAXQDA software and experimental interaction design. Her primary research interests center around Educational Psychology , with a focus on teachers' professional identity development, psychological resilience, nonverbal communication, and inclusive education. Dr. Stoјković has made significant contributions to understanding how digital environments impact psychological resilience, particularly through her work on the DigiPsyRes project which examines peer networking for student support in online contexts. Her research also explores the intersection of technology and education, including e-teaching practices during the pandemic and computer-assisted language learning. Analysis of Dr. Stoјković's recent publications reveals a strong thematic focus on psychological resilience, particularly in educational contexts. Her work spans multiple dimensions of resilience - examining both student and teacher perspectives, investigating digital and psychological aspects, and exploring how peer support networks can strengthen resilience during crises. There's also a consistent thread examining teachers' professional development, identity formation, and adaptation to changing educational landscapes, particularly in the context of digital transformation and pandemic challenges. Dr. Stoјković has been actively involved in multiple research projects, most notably as a team member and Consortium Board member of the international project 'Enhancing digital and psychological resilience through peer networking in the online environment in times of crises' (DigiPsyRes). She has also contributed to the ERASMUS+ project 'HE and VET alliance establishment according to Bologna Principals implementation via VET teachers' capacity building' (ALLVET). Her grant work demonstrates a commitment to bridging educational theory with practical applications for teacher development and student support. She is an active member of research teams and has contributed significantly to the organization of academic conferences, serving as General Secretary for the TIO 2016 and TIE 2018 international conferences and as co-chair of the Organizational Committee for TIE 2022. Dr. Stoјković has also served as Erasmus+ coordinator for the Faculty of Technical Sciences in Čačak from 2015-2022, facilitating international academic exchanges.

• Aspect-Oriented Programming
• Modularity
• Software Engineering
• +۴ مورد دیگر

Gregor Kiczales is a Professor of Computer Science at the University of British Columbia , with a career spanning over three decades. His work focuses on programming language design, modularity, and aspect-oriented programming (AOP). Primary affiliation: University of British Columbia Verification email: gregor@cs.ubc.ca Kiczales' research centers around modularity and aspect-oriented programming , with significant contributions to understanding crosscutting concerns, developing AOP frameworks like AspectJ, and exploring novel abstractions for software systems. His work includes: Foundational research in AOP semantics and implementation Studies on code-design alignment and software architecture Developing registration-based abstractions and late-binding mechanisms Investigating scalability challenges in AOP systems

André Leal Santosمشاهده پروفایل

استادیار

• Software Engineering
• Programming Education
• API Usability
• +۱۲ مورد دیگر

André Leal Santos is an Assistant Professor at ISCTE - Instituto Universitário de Lisboa, affiliated with the Department of Information Science and Technology (ISTA) and the ISTAR-Iscte research center. He holds a PhD in Computing from the University of Lisbon (2009), co-supervised with Tampere University of Technology, and a Bachelor's degree in Computing from the same institution. His research focuses on the human aspects of software development, particularly in programming education and API usability. Key areas include pedagogical tools, automatic assessment systems, projectional editors, domain-specific languages, and software maintenance. He has developed tools like PandionJ, a pedagogical debugger for Java, and authored a digital book on Kotlin programming. His recent publications reflect a consistent focus on improving developer and learner experiences through innovative software tools and educational methodologies. Themes include API learning support, automated component integration, programming pedagogy, and empirical studies on software development practices. Scientific engagement highlights: Visiting researcher at Carnegie Mellon University (2014) under CMU-Portugal program with Brad Myers Visiting researcher at Aalto University (2020) with Lauri Malmi in LeTech Organizer of ICPEC’24 Program Committee member for ITiCSE, Koli Calling (2017–2023), SPLASH-E’24 Member of the International Committee of the SIGSCE Technical Symposium Participant in the Dagstuhl Seminar on Notional Machines He advises PhD students Afonso Caniço and Ricardo Miranda, and has supervised MSc students. His work bridges academic research and practical applications in both educational and professional software development contexts. He is actively involved in open-source development, with projects hosted on GitHub, and maintains a strong presence in the computing education research community.