Tim Nelson serves as an Associate Teaching Professor in Brown University's Department of Computer Science, teaching core courses including Software Engineering (CSCI 0320/1340) and Logic for Systems (CSCI 1710/1950Y) alongside foundational computing courses. His academic credentials feature a PhD and MS from Worcester Polytechnic Institute (2013, 2010), BS from Worcester State University (2007), and AA from Diablo Valley College (1999). Research focuses on formal methods education, specifically developing tools like Forge to address student misconceptions in linear temporal logic while bridging theoretical formal methods with practical software engineering through property-based testing and model validation techniques. Analysis of his 15 most recent publications (2022-2025) reveals consistent emphasis on educational interventions: adaptive tutors for logic learning, lightweight diagramming systems, and cognitive approaches to model-finding output dominate his scholarly output. No information regarding PhD advisees or research funding sources appears in the provided materials. Lab affiliations or collaborative research teams remain unspecified in the available documentation.
Natalia Sergeevna Belova is an Associate Professor in the Department of Software Engineering at the Faculty of Computer Science, National Research University Higher School of Economics (HSE University) in Moscow. She has been working at HSE since 2012 with 13 years of scientific and teaching experience. Education: 2010: Candidate of Technical Sciences from Moscow State University of Instrument Engineering and Computer Science, specialty 05.13.11 "Mathematical and software support for computing machines, complexes and computer networks" 2009: Postgraduate study from Moscow State University of Instrument Engineering and Computer Science 2005: Engineer qualification in "Computers, complexes, systems and networks" from Moscow State Academy of Instrument Engineering and Computer Science Research Interests: Dr. Belova's research focuses on automatic text analysis, information search, IT project management, embedded databases, and project-based learning in engineering education. Her work bridges theoretical computer science with practical applications in software engineering education and industry. She has made significant contributions to pattern recognition, face identification systems, and the development of computationally efficient methods for intelligent systems processing multimedia information. Publications Trend: Dr. Belova's research has evolved from foundational work on embedded databases to more recent contributions in computer vision, affect recognition, and AI applications. Her early work (2009-2013) focused on database systems reliability and project-based learning methodologies. Since 2015, her research shifted toward computer vision, pattern recognition, and deep learning applications. Her most recent publications (2022-2025) demonstrate expertise in AI applications across various domains including transportation systems and video analysis. Scientific Achievements: Recipient of the Grant of the President of the Russian Federation for young doctors of science MD-306.2017.9 (2017-2018) Gratitude from the Vice-Rector of HSE University (February 2025) Gratitude from the Faculty of Computer Science, HSE University (July 2023) Multiple publication bonuses for journals in List A and international peer-reviewed publications (2016-2025) Best Teacher award for 2016-2017 Member of the High Professional Potential Group (HSE personnel reserve) Teaching and Mentoring: Dr. Belova has supervised over 25 bachelor's theses on diverse software engineering topics including mobile applications, web platforms, biometric identification systems, and educational software tools. She teaches courses on "Group Dynamics and Communications in Professional Software Engineering Practice" and "Economics of Software Engineering." Her commitment to project-based learning methodology is evident in both her research and teaching practice. Professional Development: Dr. Belova actively participates in advanced training programs, including recent courses on modernization of educational programs in software engineering (2025) and problems of training modern specialists in software engineering (2024).
Éric Dionne is a Full Professor at the University of Ottawa, affiliated with both the Faculty of Education and Faculty of Medicine. He holds the UOttawa-ISM Research Chair in Medical Pedagogy at Montfort Hospital Knowledge Institute. His research focuses on edumetrics, statistical modeling of test scores, and assessment tool validation, with applications in health education and program evaluation. Education: Ph.D. in Measurement and Evaluation, Université de Montréal, 2008 M.A. in Measurement and Evaluation, Université de Montréal, 2000 Certificat en Administration, Télé-Université, 1996 B.Sc. in Science Teaching, Université du Québec, 1994 Research Trends: His recent publications highlight expertise in Rasch modeling, classical test theory, and simulation-based medical education. He bridges statistical rigor with practical pedagogy, emphasizing tool validation and data-driven learning assessment. Scientific Awards: Louise-Dandurand Prize (Quebec Research Fund, 2024) French Publication Award (University of Ottawa, 2024) Prix du magazine canadien : B2B (NMAF, 2024) Additional Contributions: He co-hosts the podcast Les ingénieux pédagogiques , addressing theory-practice gaps in education, and serves as editor of Mesure et évaluation en éducation since 2014. His YouTube series Learning Assessment with Prof. Dionne and courses on educational assessment further his impact.
Biagio Lenzitti is a Researcher at the Department of Mathematics and Computer Science , University of Palermo, School of Basic and Applied Sciences. He has taught courses like Programming and Laboratory , Computer Networks , and Educational Planning of Information Systems since at least 2015. Current Office Hours: Monday 9:00-11:00, Studio 201 Contact: biagio.lenzitti@unipa.it | +3909123891101 His research focuses on medical text simplification , patient empowerment , and interactive educational tools , including the development of systems like: MED-VTD: Multilingual Medical Dictionary SimpleHealth Platform: Medical Text Simplification Tools U-MedSearch: Meta Search Engine for Medical Content ETN-FETCH Project: Future Education in Computing Recent publications address AI-driven health information systems , IoT data sharing , and conversational agents for medical education. Key collaborations include the Anghelos Communication Studies Center and European networks like ETN-FETCH . He has supervised theses on topics spanning semantic web applications , open data , and network security since at least 2005.
István Gyurcsek is a Lecturer at the Faculty of Engineering and Information Technology, University of Pécs since 2013. His roles include leading the Pollack Foundation for Higher Education Development , membership in the Academic Appeals and Credit Transfer Committee, and serving as a delegated responsible for electrical and ICT examinations via the Chamber of Industry and Commerce (BKIK/PBKIK) since 1999. He is actively involved in teaching, research on electromagnetic compatibility , power quality , and sensor networks , and international project execution. Education : M.Sc. in Electronics Engineering (1980), Dr. Univ. in Applied Physics (1986) Key Skills : Telecommunications systems, project management (PMP/PRINCE2), software architecture, EMC testing His research interests focus on electromagnetic compatibility , non-destructive testing , and smart grid technologies . Publications include textbooks on electrical measurements and peer-reviewed papers on EMC, ultrasonic noise, and moisture diagnostics in structures. Recent work emphasizes mathematical modeling of EMC testing and bioacoustic exposure to ultrasound. Scientific Awards : Golden Degree of Distinction for Inventors (1989) Pollack Mihály Medallion (2022) Lecturing Service Medallion (2023) He has contributed to 50+ publications and holds 5 patents in moisture detection, engine ignition, and process control systems. His work bridges applied physics , telecommunications , and educational innovation in engineering disciplines.
Maria Melissourgou holds a tenured position at the University of the Aegean, where she contributes to the Department of Mediterranean Studies . Her expertise lies in Applied Linguistics , with a focus on genre analysis and corpus-based methodologies. Education: B.A. in English Studies from the University of Athens, M.Ed. from the Open University (UK), and Ph.D. in Mediterranean Studies (2016) from the University of the Aegean. Her research centers on constructing and analyzing specialized corpora to identify dominant genres in academic and professional contexts. This work spans the development of Automatic Genre Identification (AGI) systems, the stylistic analysis of research articles, and the application of digital tools to enhance writing instruction. Recent publications highlight trends in genre variability across disciplines, the integration of corpus methods into pedagogy, and the linguistic characteristics of testing materials. These studies leverage software tools for corpus processing and statistical modeling, advancing computational approaches in linguistic analysis. Melissourgou's professional contributions extend to leadership roles as Director of Studies in a Foreign Language Centre and participation in international conferences. She utilizes specialized informatics systems for text analysis, blending qualitative and quantitative methods in her research.
Alexandra Mendes is an Assistant Professor at the Department of Informatics Engineering, Faculty of Engineering, University of Porto, where she co-leads the Software Reliability Lab. She is also a senior researcher at INESC TEC and a Fellow of The Higher Education Academy (HEA). In 2023, she was a Visiting Researcher at Carnegie Mellon University under the CMU Portugal Program, hosted at CyLab Security and Privacy Institute. Her educational background includes a PhD in Computer Science from the University of Nottingham, UK, and a BSc in Mathematics and Computer Science from Minho University, Portugal. Alexandra's research focuses on encouraging wider adoption of software verification by creating tools and methods that hide the complexities of verifying software. Her primary research interests include: Software Reliability Software Verification Formal Methods Software Engineering Innovative User Interfaces for formal methods Password Security Her recent publications demonstrate a strong focus on applying formal methods to practical software engineering challenges, particularly through the use of Large Language Models to enhance verification-aware languages like Dafny. She has made significant contributions to understanding contract usage in Android applications, infrastructure as code reliability, and password security through formal verification. Her work bridges theoretical formal methods with practical software engineering concerns, aiming to make verification more accessible to developers. Alexandra has received several prestigious awards for her research: Amazon Research Award in Automated Reasoning (Fall 2024) Atlantic Security Award 2024 from the Luso-American Development Foundation (FLAD) for exploring Large Language Models trained on Dark Web data to support decision making for Atlantic security and defence Fellow of The Higher Education Academy (HEA) She actively mentors students and researchers, inviting talented individuals to join her in research opportunities in Computer Science at the University of Porto. Her funded projects include VeriFixer (focused on automated repair techniques for verification-aware programming languages) and InfraGov (addressing challenges in the reliability and security of Infrastructure as Code used in Public Administration). Alexandra co-leads the Software Reliability Lab, which develops new methods and techniques for improving the quality and dependability of software systems, emphasizing practical tools that can have societal impact. The lab's work spans from empirical software engineering methods that can inform practitioners and direct future research, to formal methods that can verify the absence of certain types of bugs.
Nicolas Gold is an Associate Professor in the Department of Computer Science at University College London (UCL), Faculty of Engineering Sciences. He previously held academic positions at King's College London as a Senior Lecturer (2007-2010), Learning and Teaching Co-ordinator (2005-2007), and Lecturer (2005-2007), as well as Lecturer at the University of Manchester (2001-2004) and Senior Research Associate at Durham University (2000-2001). His educational background includes a Doctor of Philosophy from Durham University (2000), Bachelor of Science from Durham University (1997), and a Postgraduate Certificate from the University of Manchester Institute of Science and Technology (2003). Dr. Gold's research interests span multiple interdisciplinary areas including: Computing education with music and making Research ethics, particularly in software repositories and music technology Source code analysis and program dependence Design of educational technologies Music technology and its applications in education and healthcare Human movement analysis and its application to pain recognition His recent work shows a strong trend toward applying computing and music technologies to healthcare challenges, particularly in the area of chronic pain management. He has developed systems using WiFi and RGBD sensing for pain behavior recognition, movement sonification techniques to support people with chronic pain, and created datasets like EmoPain@Home for activity recognition in home environments. His ethical considerations permeate his work, as evidenced by his role as co-chair of the Computer Science Research Ethics Committee and his publications on ethics in software research. Dr. Gold has received recognition for his work in several areas: Development of educational technologies integrating music and computing Contributions to ethical standards in research communities Innovative approaches to pain monitoring and management through technology Interdisciplinary work bridging computer science, music, and healthcare As an educator, Dr. Gold has taught Computer Music and Auditory Computing at UCL, and currently teaches professional ethics and responsible software engineering on MSc programs. He is actively involved in developing theory, resources, and pedagogy for high-school teaching of software engineering, design, and music through integrated STEAM approaches, working with colleagues in the UCL Institute of Education. His research aligns with several Sustainable Development Goals including Quality Education (4), Decent Work and Economic Growth (8), Reduced Inequalities (10), and Responsible Consumption and Production (12), reflecting his commitment to socially responsible computing and education.
Vipin Verma is an Assistant Research Scientist at Arizona State University's Learning Engineering Institute, specializing in educational games, simulations, and affective computing. With a PhD in Human Systems Engineering from ASU and prior degrees in Information Assurance (MS) and Production & Industrial Engineering (B.Tech), he combines technical expertise with pedagogical innovation. Education : PhD (ASU), MS (Stratford University), B.Tech (IIT Roorkee) Research Focus : Educational games, gamification, adaptive assessment, and cognitive load measurement through mouse-tracking and facial emotion recognition Projects : Developed Chem-o-Crypt (Unity3D educational game), co-led $1.5M DoD-funded synthetic training environment, and contributed to SUNRISE (NSF-funded Hopi community mHealth initiative) His 15 most recent publications examine topics ranging from affect-sensitive serious games to mouse-tracking methodologies for implicit bias detection. He has received recognition as LASER Scholar and Common Mission Project awardee, with peer-review experience for over 3 dozen academic works. Scientific Awards Exceptional Team - Common Mission Project (2020) LASER Scholar - NC State University (https://fi.ncsu.edu/projects/laser-institute/) Grants Co-PI for $1.5M US Department of Defense grant Principal investigator for $3.9M NIH grant application
Yan Lei is a Professor at the School of Big Data & Software Engineering, Chongqing University, China, specializing in software quality improvement through advanced fault localization, program repair, and testing methodologies. His research bridges software engineering with data science to address challenges in deep learning systems and hardware description language (HDL) programs, evidenced by extensive publications in CCF-A venues including ASE, FSE, and TSE. Dr. Lei obtained his Ph.D. under Prof. Xiaoguang Mao at Chongqing University and conducted research at UC Davis with Prof. Zhendong Su. His educational background informs his interdisciplinary approach to software engineering challenges. His research focuses on three interconnected pillars: Fault Localization and Program Repair: Developing deep learning and metamorphic techniques for precise bug identification and automated repair Data Science for SE: Applying representation learning and contrastive methods to software testing challenges Testing Deep Learning Systems: Addressing API misuses and error-handling bugs in neural network applications Analysis of his 2023-2024 publications reveals a strategic shift toward multi-fault scenarios and cross-framework solutions, with increasing emphasis on hardware-aware testing and compilation error repair. His work consistently integrates generative models and semantic learning to overcome data imbalance issues. His scientific recognition includes: ACM SIGSOFT Distinguished Paper Award for coincidental correctness detection research at ASE 2024 IEEE TCSE Distinguished Paper Award for flaky test prediction at SANER 2024 Dr. Lei directs significant research initiatives including a National Natural Science Foundation project (2023-2026) on multi-fault program repair and previously led a foundational fault localization study (2017-2019). His teaching portfolio spans undergraduate software testing and graduate courses for international students, reflecting commitment to pedagogy. Current projects like Data Fusion for Smart Megalopolis demonstrate applied research impact in Chongqing's technological development.
Dr. Eduardo Antonio Wink de Menezes serves as a Scientist in the Department of Tailored Lightweight Composites within the Division Polymer Materials Engineering at the Leibniz Institute of Polymer Research Dresden (IPF Dresden). His research focuses on numerical modeling of composite structures and the design of Tailored Fiber Placement (TFP) and Filament Wound (FW) based parts, with particular expertise in structural analysis of composite cables and cylinders. His primary research interests include numerical modeling of composite structures, design methodologies for Tailored Fiber Placement and Filament Wound components, structural mechanics of composite materials, computational mechanics for cable structures, and material characterization of fiber-reinforced polymers. His work bridges theoretical modeling with practical applications in lightweight construction. Analysis of his 15 most recent publications (2017-2023) reveals a consistent research trajectory in composite structural mechanics, with particular emphasis on filament-wound cylinders, helical cables, and carbon fiber reinforced polymer (CFRP) systems. His publications span top journals in structural engineering and composite materials, demonstrating expertise in both numerical modeling and experimental validation across diverse loading conditions including axial compression, torsion, bending, and pressure loads. Dr. de Menezes actively participates in multiple collaborative research projects including AIF cornet / EMBRAPII (Siq4TFP), DAAD /CAPES - PROBRAL (FiBraCo), and FAPERGS – Technological clusters (MACOPV), reflecting strong international collaboration, particularly with Brazilian research institutions. His laboratory work centers around the Advanced Composite Modelling research group within the Tailored Lightweight Composites department, utilizing specialized equipment for composite material testing and simulation. The department, led by Prof. Dr.-Ing. Axel Spickenheuer, focuses on material-side adaptations at meso- and macro-scales for highly optimized lightweight applications in extreme conditions.
Pedro Martínez Pagán is a Full Professor specializing in applied geophysics and engineering, with a research focus on geophysical methods for environmental hazard detection, structural assessment, and sustainable resource management across Southeast Spain. His primary research domains include Geophysics (particularly Electrical Resistivity Tomography and MASW techniques), Civil Engineering (structural design and foundation analysis), Environmental Engineering (monitoring of agricultural and mining waste), Geotechnical Engineering (site characterization and seismic risk), and Engineering Education (integrating nomography and augmented reality into curricula). His work consistently bridges theoretical geophysics with practical field applications, emphasizing computational tools like Python for data inversion and analysis. Recent publications (2023-2025) demonstrate a concentrated effort on regional environmental challenges in Spain, including pig slurry pond monitoring, mining tailings assessment, and seismic microzonation for urban safety. His methodology prioritizes cost-effective geophysical solutions for real-world problems, often through collaborative case studies at sites like Murcia Cathedral and Granada’s seismic zones, while advancing educational frameworks for engineering pedagogy.
Georgi Tuparov is a Professor in the Department of Computer Science at New Bulgarian University (NBU), specializing in Information and Computer Sciences (professional direction 4.6). Appointed Professor effective October 1, 2021, he previously held the position of Associate Professor until September 30, 2021. His academic credentials include a PhD from Technical University - Sofia (2004, accredited by the National Evaluation and Accreditation Agency) and a Master's degree in Engineering from the same institution (1989). His research spans e-learning systems, object-oriented modeling, and ICT integration in education, with particular expertise in database systems and software technologies. Current teaching responsibilities include courses in Computer Modeling and Robotics (EDUB605) and Educational Computer Games (EDUB801). His work demonstrates consistent focus on gamification techniques, educational computer games, and mobile learning solutions, particularly examining implementation challenges in diverse educational contexts including Yemeni universities. Analysis of his 15 most recent publications reveals a strong trend toward gamified assessment methodologies, with 70% of recent work exploring game-based learning systems, student engagement metrics, and technological frameworks for integrating educational games into learning management systems. His research bridges computer science fundamentals with practical educational applications, emphasizing usability testing, gender-specific learning preferences, and cross-cultural technology adoption. Professional affiliations include membership in IEEE and the Union of Mathematicians in Bulgaria. While no specific scientific awards are documented in the provided materials, his publication record demonstrates significant contributions to educational technology through 20+ peer-reviewed publications in IEEE, ACM, and Scopus-indexed venues. Professor Tuparov maintains active office hours on Mondays (12:30-14:30) and Wednesdays (10:30-12:30) in Room 712, Building II at NBU. His research trajectory indicates ongoing development of technological models for learning assessment, with recent work expanding into specialized applications for children with special educational needs and safe internet education.
Fiorella Zampetti is a researcher at the University of Sannio, Italy, specializing in empirical software engineering with a focus on continuous integration and delivery, static analysis tools, mining software repositories, and software maintenance and evolution. Her work bridges theoretical research with practical applications in real-world software development environments. Her research interests span multiple critical areas of modern software engineering, with particular emphasis on Experimental methodologies for evaluating software engineering practices Technical debt identification and management, especially in emerging domains like deep learning systems Continuous integration and delivery pipelines, including common anti-patterns and solutions Mining software repositories to extract valuable insights about development processes Software quality assessment through static analysis and empirical studies Analysis of her recent publications reveals an evolving research trajectory that has increasingly incorporated artificial intelligence and large language models into traditional software engineering concerns. Her 2023-2025 work shows a significant focus on how AI-generated code impacts software development practices, licensing concerns, and educational contexts. She has also maintained a strong thread of research on technical debt, particularly examining self-admitted technical debt across different software domains. Dr. Zampetti has been actively involved in the software engineering research community as a program committee member for major conferences including ASE, ICSE, ESEC/FSE, and ICSME. Her service on these committees demonstrates recognition by her peers as a subject matter expert in her research domains. Her research has practical implications for software development teams looking to improve their CI/CD practices, manage technical debt effectively, and understand the emerging challenges posed by AI-assisted development tools. She has conducted numerous empirical studies that provide evidence-based insights into software engineering practices across both open-source and industrial contexts.
Dr. Ayman Elzohairy serves as Assistant Professor in the Department of Engineering and Technology within the College of Science and Engineering at East Texas A&M University. A licensed Professional Engineer in Texas, he brings extensive industrial experience in structural analysis and design of high-rise buildings and bridges to his academic role, teaching core structural engineering courses while maintaining active research in concrete technology and composite systems. His educational background includes: Ph.D. in Structural Engineering from University of Missouri-Columbia (2018) M.S. in Structural Engineering from Zagazig University (2010) B.S. in Civil Engineering from Zagazig University (2004) Dr. Elzohairy's research centers on experimental and numerical analysis of structural materials, with particular focus on rubberized concrete performance under environmental stressors, strengthening techniques for composite beams, and fatigue behavior of steel-concrete systems. His work bridges theoretical modeling with practical construction applications, emphasizing sustainable material solutions and structural resilience. Analysis of his recent publications reveals strong trends in sustainable construction materials (especially rubberized concrete with recycled aggregates) and innovative strengthening methodologies for composite structures. The research consistently addresses environmental durability challenges including freeze-thaw cycles, temperature variations, and salt exposure, while exploring synergistic material combinations like stainless-steel fibers in concrete matrices. His research excellence has been recognized through prestigious awards: Paul W. Barrus Distinguished Faculty Award for Teaching (2023) Research, Scholarship and Creative Activities – Unfettered Thought Award (2022) Chuck Arize Junior Faculty Award (2020) Dr. Elzohairy maintains broad teaching responsibilities across structural engineering disciplines, with particular passion for Structural Analysis and Design courses where he integrates industry-standard software like RISA 2-D. His industrial background informs practical pedagogy that prepares students for structural engineering careers, though specific graduate student advising details aren't provided in available materials. His experimental research program likely utilizes university structural testing facilities for material characterization and component-level structural testing, though specific lab names aren't mentioned. Collaborative patterns in publications indicate active research partnerships with colleagues across multiple institutions in composite structure investigations.
