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

Fevzi Belliمشاهده پروفایل

استاد

• Software Reliability Engineering
• Model-Based Testing
• Formal Verification
• +۳ مورد دیگر

Professor Fevzi Belli specializes in Software Reliability Engineering at Izmir Institute of Technology's Computer Engineering Department. Educated at Technical University of Berlin (PhD 1978), his career includes industrial positions at Siemens AG and academic appointments in Germany before joining IYTE. Research focuses on: Model-based testing of software/hardware systems Formal verification using cause-effect graphs and decision tables GUI and firewall testing methodologies Mutation testing frameworks Honored as Knight Commander of Spain's Order of Isabel la Catolica, he has chaired IEEE conferences and authored over 100 publications. Current projects explore VHDL program verification and reusable component reliability.

Aaron Kansمشاهده پروفایل

مدرس

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

Dr Aaron Kans serves as Head of the Department of Computer Science and Digital Technologies at the University of East London (UEL), part of the School of Architecture Computing and Engineering. His roles include curriculum development, departmental leadership, and teaching across UEL’s computing programs. Notably, he has been at UEL for over 15 years and received the Best Lecturer award (UEL Student Led Teaching Awards) and the VC&P UEL Prize for Leadership through Change (2021). His research focuses on software engineering and innovative teaching methods in computing, with co-authored textbooks widely adopted nationally and internationally. Recent work includes exploring remote teaching strategies for programming education. He leads the ACE Research Group (Research Enhanced Learning & Teaching). Dr Kans has published extensively on Java programming, formal methods, and educational frameworks. His publications span textbooks like Java in Two Semesters and research on UML modeling in biomedical systems. Awards highlight his contributions to pedagogical innovation and institutional leadership during organizational changes. Labs/Teams: ACE Research Group (focusing on pedagogical innovation)

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

استاد آموزشی

• Computer Science Education
• Programming Pedagogy
• Software Engineering
• +۳ مورد دیگر

David Kosbie is a Teaching Professor in the School of Computer Science at Carnegie Mellon University (CMU), specializing in computer science education and software engineering. He serves as Director and Co-Founder of the CMU CS Academy, dedicated to expanding access to rigorous computer science education. His academic roles include teaching foundational courses like 15-112 (Fundamentals of Programming and Computer Science) and 15-113 (Special Topics in Applied Python Programming). He holds the Herbert A. Simon Award for Teaching Excellence (2012), recognizing his impactful pedagogical contributions. His research interests span software development methodologies, graphical toolkits (e.g., Garnet/Amulet), and user-centered design. He actively develops curricula and oversees large-scale course implementations, emphasizing programming best practices and computational problem-solving. Education details are not explicitly provided in the source texts. His professional activities include leading course design, mentoring students, and contributing to academic initiatives like the CMU CS Academy. He has published work on constraint-based programming systems, reusable software components, and interactive user interface frameworks. Collaborations include partnerships with researchers like Brad A. Myers and colleagues at CMU. His teaching philosophy emphasizes hands-on learning, rigorous code analysis, and fostering student engagement through structured problem-solving exercises.

Csaba Zoltán KERTÉSZمشاهده پروفایل

مدرس

• Embedded Systems
• Microcontroller Applications
• Graphical User Interfaces
• +۷ مورد دیگر

Csaba Zoltán KERTÉSZ is a Lecturer at the Department of Electronic and Computers, Faculty of Electrical Engineering and Computer Science, Technical University of Brașov. His research focuses on embedded systems, microcontroller applications, graphical user interfaces, digital signal processing, and real-time operating systems. He has contributed to IoT/M2M communication, wireless sensor networks, and SDR platforms. He has also explored the use of GitHub in collaborative learning and automotive industry-supported curriculum design. Key research interests include: Embedded GUI development frameworks IoT gateway systems using SDR Real-time monitoring and control systems HbbTV architecture performance analysis His recent work (2021-2024) emphasizes: AI-driven programming assessment tools SIMD extension optimization Wireless sensor networks for water distribution Reconfigurable IoT infrastructure Publications span over 15 years, showing sustained contributions in embedded systems, telecommunications, and educational technology. No specific awards mentioned. Labs/Teams: Actively involved in the University's embedded systems and IoT research groups.

• Human-Computer Interaction
• Healthcare Technology
• Media Design
• +۳ مورد دیگر

Dr. Guy Schofield is a Lecturer at Newcastle University, specializing in interactive systems, healthcare technology, and participatory media. His work focuses on innovative applications of technology in healthcare (particularly Parkinson's disease rehabilitation), participatory documentary production, and immersive theatrical experiences. He has collaborated extensively on projects like Cinehack, PD Kinection, and humanaquarium, which explore the intersection of technology and human-centered design. Key research areas include: Interactive systems for healthcare rehabilitation Participatory media production methodologies Real-time cinematography and dynamic narrative systems Collaborative tools for low-budget filmmaking His work bridges academic research with practical applications, emphasizing accessibility and community engagement. Notable projects include developing exergaming solutions for Parkinson's patients and creating frameworks for grassroots documentary production in resource-constrained environments. Dr. Schofield's publications span over a decade, with contributions to CHI, IEEE transactions, and interdisciplinary journals. His research often intersects with digital humanities, exploring how technology can democratize media creation and enhance cultural participation.

Tanja Vosمشاهده پروفایل

استاد

• Software Testing
• Automated Testing
• Behavior-Driven Development (BDD)
• +۳ مورد دیگر

Tanja Vos is a Full Professor at the Faculty of Science , Department of Computer Science , specializing in Software Testing , Automated Testing , and Behavior-Driven Development (BDD) . Her work extends to Gamification in Education and Artificial Intelligence (AI) in Learning Systems . Research Program: Towards High-quality and Intelligent Systems (THIS) Active in Graphical User Interface (GUI) Analysis and Test Automation Research Interests : Vos focuses on advancing software testing methodologies through AI-driven solutions , particularly in 3D game testing , chatbot applications , and gamified educational platforms . Her work bridges theoretical research with industrial implementation . Recent Article Trends : Her publications emphasize automated testing frameworks (e.g., iv4XR ), GUI regression analysis , and AI chatbots for personalized learning . Subfields include evolutionary algorithms , dynamic interface testing , and gamification mechanics . Supervision & Collaboration : Vos leads projects like TESTOMAT and AI Study Coach , collaborating with institutions such as Universidad Politecnica de Valencia .

Peter Achtenمشاهده پروفایل

استادیار

• Functional Programming
• Graphical User Interfaces
• Web Applications
• +۳ مورد دیگر

Peter Achten is an Assistant Professor at the Department of Software Science, Radboud University Nijmegen, Faculty of Science. His academic work focuses on functional programming, interactive systems, and programming education. Teaches courses like Imperative Programming, Bachelor Thesis, and Advanced Programming Developed the Soccer-Fun educational framework for teaching functional programming Coordinates the bachelor program in computer science since 2015 Active in functional programming research (GUIs, iTask system, TOP paradigm) His research explores high-level specifications for interactive applications, verification techniques for functional programs, and enhancements to programming workflows. As co-organizer of conferences like TFP and IFL, he contributes to academic community-building. The iTask system and Soccer-Fun library showcase his practical applications of theoretical concepts. His teaching portfolio spans over a decade, covering algorithms, functional programming, software engineering, and compiler design. The Soccer-Fun framework enables programming footballer brains through functional programming exercises, with collaborations extending across Dutch programming language circles.

• Software Engineering
• Gamification
• Mobile Computing
• +۷ مورد دیگر

Giacomo Garaccione is a Ph.D. candidate in Computer and Systems Engineering at the Polytechnic University of Turin , affiliated with the Department of Control and Computer Engineering (DAUIN) and the SOFTENG - Software Engineering Group . He holds an MSc in Computer Engineering (Software) from the same institution. Current Role : Ph.D. candidate (38th cycle, 2022-2025) Teaching : External lecturer and teaching assistant for Information Systems and Software Engineering courses in Engineering and Management and Computer Engineering programs (2022-2025). His research focuses on applying gamification to software engineering education , with emphasis on conceptual modeling and GUI testing . He develops gamified tools like UMLegend and GERRY , integrating artificial intelligence and natural language processing for automated model validation and feedback. Publications analyze gamification’s impact on student productivity and perception in UML/BPMN education. Scientific recognition : Nominated for merit awards (2025). Collaborator on multiple studies involving large language models and gamified IDE plugins , with ongoing work to create a comprehensive gamified environment for software modeling and requirements training.