Dr. Jan Cychnerski is an Assistant Professor at the Department of Computer Architecture within the Faculty of Electronics, Telecommunications and Informatics at Gdańsk University of Technology. His research bridges medical imaging and distributed systems, with significant contributions to AI-driven diagnostic tools and real-time communication platforms. Research Focus: His work spans: Medical imaging algorithms (CT liver segmentation, Hounsfield scale optimization) Machine learning frameworks for healthcare R&D Real-time networked systems for specialized applications like music performance Dataset construction methodologies for medical AI Recent publications demonstrate strong emphasis on adaptive AI solutions for radiology and oncology, with neural network innovations improving diagnostic accuracy. His interdisciplinary approach connects computer architecture with clinical needs. Research Team: Member of Architektura Systemów Komputerowych (Computer Systems Architecture), focusing on distributed/parallel applications and systems engineering.
Marcin Hernes is a Lecturer and Head of the Department of Process Management at Wrocław University of Economics. He also serves as Director of the Center for Intelligent Management Systems. His academic career spans undergraduate, graduate, and postgraduate teaching, alongside extensive research collaboration. He is actively involved in national and international conferences, and holds memberships in IEEE, the Polish Association of Artificial Intelligence, and the Scientific Society for Economic Informatics. His research interests include artificial intelligence, cognitive technologies, machine learning, and decision support systems in production and management contexts. Education details are not explicitly stated in the provided text, but his professional trajectory indicates advanced academic qualifications. His research focuses on resolving knowledge conflicts in multi-agent systems, optimizing production processes, and leveraging AI for business sustainability. He has developed dozens of software applications for industrial and public administration use cases, emphasizing practical technological solutions. Hernes supervises doctoral students and maintains active engagement with the socio-economic environment through collaborative projects. His consultations are held on Wednesdays, and master's seminars are conducted remotely via MS Teams with specific schedules for full-time and part-time students. Notably, he has pioneered frameworks integrating cognitive architecture into financial decision support systems and contributed to ERP 4.0 systems aligning with Industry 4.0 standards. His work emphasizes sustainability across domains, from reducing urban carbon footprints through cloud technology to environmental life cycle costing in network organizations. He has also addressed challenges in supply chain management, such as the Forrester effect reduction, and explored blockchain applications in public administration digital transformation.
Andrei Popescu is a Senior Lecturer (Associate Professor level) in the Department of Computer Science at the University of Sheffield, where he conducts research in formal methods, proof assistants, and information flow security. He previously held academic positions at Middlesex University and TU Munich. University: University of Sheffield Department: Department of Computer Science Previous Affiliations: Middlesex University, TU Munich His research focuses on the logical foundations and practical applications of proof assistants, particularly Isabelle/HOL. He has made foundational contributions to inductive and coinductive datatypes, syntax with bindings, higher-order logic, and the formal verification of secure systems. His work bridges theoretical logic with real-world systems such as conference management (CoCon) and social media platforms (CoSMeDis). The recent publications highlight a strong trend in formalizing deep logical results (e.g., Gödel’s incompleteness theorems), advancing datatype theory, verifying complex security properties, and applying formal methods to practical systems. His work consistently appears in top-tier venues such as POPL, CAV, ITP, and CSF. Distinguished Paper Award at POPL 2025 Distinguished Paper Award at POPL 2024 Distinguished Paper Award at POPL 2023 RS 3 Best Paper Award for 2012–2013 He has advised PhD students including Lorenzo Gheri and has been actively involved in organizing major academic events such as the Midlands Graduate School, CPP, ITP, and TABLEAUX conferences. He has served on numerous program committees including POPL, ITP, CSF, and CAV, and has led research projects funded by VeTSS and industrial partners. He is a key contributor to the Isabelle proof assistant ecosystem, particularly in the development of the (co)datatype package and foundational consistency results. His work combines deep theoretical insight with practical implementation, making significant impacts in both academia and applied security.
Mauricio Ayala Rincón is a Full Professor at Universidade de Brasília, affiliated with the Department of Computer Science and the Department of Mathematics. He is a leading researcher in computational logic, formal methods, and term rewriting systems, and heads the Theory of Computation research group (GTC/UnB). Research Interests: His work focuses on the formalization of mathematical and computational theories using proof assistants like PVS. Key areas include term rewriting systems, equational and rewrite-based deduction, automated reasoning, unification, nominal logic, formal verification, and applications in genomics and evolutionary algorithms. He also explores ethics in AI and mechanized mathematics. Recent Publication Trends: His recent articles (2023–2024) reflect a strong emphasis on formalizing algebraic and logical theories in PVS, advancing nominal equational reasoning, anti-unification over algebraic theories, and applying evolutionary algorithms to computational biology. The work is highly theoretical yet applied in verification and combinatorics. Scientific Awards: Best Paper Award at CICM 2023 for "Nominal AC-matching" Advising and Grants: He actively seeks PhD students in algorithmics, formal methods, theorem proving, and AI ethics. He has led numerous research projects, evidenced by extensive publications and editorial roles. He has not listed specific grants, but his continuous output suggests sustained funding. Labs and Teams: He leads the Grupo de Teoria da Computação (GTC/UnB) , which develops PVS libraries for term rewriting (TRS), nominal theories, and evolutionary algorithms. The group maintains public repositories and contributes to the NASA PVS library.
Tarek Gaber is a prominent academic researcher affiliated with the Faculty of Computers and Informatics at Suez Canal University and leads the Scientific Research Group in Egypt (SRGE). He maintains strong collaborative ties with international institutions including the University of Salford, Frankfurt University of Applied Sciences, and Ain Shams University, reflecting a globally engaged research profile. His research spans artificial intelligence, cybersecurity, blockchain, and smart systems with applications in agriculture, healthcare, aerospace, and industrial automation. Key areas include biometric authentication, satellite communication security, plant identification, and IoT-based monitoring systems. The body of his recent work demonstrates a trend toward secure, intelligent, and decentralized systems, particularly in using blockchain for space communications and federated learning for medical data. His publications appear in high-impact journals such as Computers and Industrial Engineering , Signal, Image and Video Processing , and Aerospace , with a strong citation record and an H-index categorized as 'Very High'. National Research Foundation National Institutes of Health Consejo Nacional de Ciencia y Tecnología Princess Nourah Bint Abdulrahman University International Atomic Energy Agency Deanship of Scientific Research, King Faisal University Wellcome Trust Nelson Mandela Metropolitan University VLIRUOS Petroleum Technology Development Fund He has supervised numerous research projects and likely mentors students through the Scientific Research Group in Egypt. While specific advisees are not listed, his leadership role implies active academic guidance. Dr. Gaber is associated with advanced research facilities and has contributed to over 100 publications. His work is supported by diverse international sponsors, highlighting the global relevance and interdisciplinary nature of his research.
Dr. Mohamed E. ElAraby is a faculty member at Beni-Suef University's Faculty of Computer and Information, Egypt, with prior affiliation at Mansoura University. His academic work centers on cutting-edge technologies in computer science, particularly machine learning, cloud computing, and IoT, applied to healthcare and information systems. His research focuses on developing intelligent systems for real-world challenges, especially in pandemic prediction and data retrieval. Using advanced machine learning models and cloud-based architectures, he has pioneered innovative solutions such as IoT-driven COVID-19 prediction frameworks and elastic web crawlers for multimedia and facial data retrieval. The recent publications demonstrate a strong trend in leveraging internet-sourced data and cloud infrastructure to build robust, scalable health informatics and intelligent systems. His work bridges theoretical AI advancements with practical applications in public health and information access. Scientific Sponsorships: GlaxoSmithKline M.J. Murdock Charitable Trust Dr. ElAraby has secured research funding from prominent organizations, indicating strong industry-academia collaboration. While no formal students are listed, his publication record suggests active mentorship and research leadership. He contributes significantly to journals like Biomedical Signal Processing and Control and Multimedia Tools and Applications , reflecting high academic engagement. His work is supported by advanced computing labs focused on AI, IoT, and cloud systems, though specific lab names are not mentioned. These teams likely focus on developing next-generation intelligent systems for healthcare and data science applications.
Piotr Oramus, PhD, is an Assistant Professor in the Department of Information Technologies at Jagiellonian University in Kraków, Poland. His research focuses on parallel and distributed computing, glowworm swarm optimization algorithms, and computational materials science. He holds a PhD in Physics from Jagiellonian University (2001) and an MSc in Physics (1995) from the same institution. Education: MSc (1995), PhD (2001) in Physics from Jagiellonian University Affiliations: Department of Information Technologies, Jagiellonian University; Juna Network Academy (Juniper Networks Academic Alliance) His research interests include optimization algorithms, Monte Carlo simulations for material systems, and distributed computing architectures. Recent work has advanced glowworm swarm optimization techniques and explored atomic ordering dynamics in intermetallic alloys. Key contributions span computational modeling of phase transitions, defect chemistry, and superstructure stability. Teaching responsibilities include courses on computer networks and object-oriented design. He has published extensively on topics ranging from parallel computing frameworks to atomic migration mechanisms in materials science. Grants include BASTION, MASTER, and VENTURES (2011/8 KBN Grant) projects. He leads the Students Computer Laboratory and collaborates with the Juna Network Academy for academic-industrial partnerships.
Professor Dariusz Sawicki is a faculty member at Warsaw University of Technology's Faculty of Electrical Engineering, affiliated with The Institute of the Theory of Electrical Engineering, Measurement and Information Systems. His research spans computer vision, optical engineering, and human factors with applications in virtual reality and occupational safety. His primary research interests focus on advanced optical systems including ray tracing methodologies, light source characterization, and image processing techniques. Specialized work in glare assessment at outdoor workplaces has established him as an expert in lighting ergonomics, while his development of Semi-Cave virtual reality environments demonstrates interdisciplinary innovation connecting computer graphics with human psychophysiology. Recent publications reveal expanding work in botanical reconstruction, fractal generation, and pandemic-era communication systems. Professor Sawicki has supervised 92 promoted theses and authored 80 publications with significant bibliometric impact (h-index 9 in Scopus). His work includes 1 patent and participation in multiple projects, with research funded through institutional support at Warsaw University of Technology. Current laboratory activities center on the Semi-Cave virtual reality facility for studying audiovisual environment impacts on human performance. 80 Publications with cumulative ministry score of 2,315 92 Supervised theses 1 Patent h-index (Scopus): 9 | h-index (WoS): 8 Total CiteScore: 63.19
Cang Hui is a prominent researcher at Stellenbosch University and affiliated with institutions like the African Institute for Mathematical Sciences and Lanzhou University . His work bridges ecological research, computational modeling, and invasive species dynamics. Specializes in invasive species interactions, forest ecology, and GIS-based spatial modeling. Collaborates with global funding agencies including the National Science Foundation and National Research Foundation . Published extensively in journals such as Ecology and Evolution , Basic and Applied Ecology , and Ecography . Research Trends: His recent publications emphasize climate change impacts on pest outbreaks, landscape-scale ecological modeling, and scaling patterns in species distribution. Computational methods and GIS underpin his approach to invasion biology. Funding and Collaboration: Supported by major sponsors like Villum Fonden and Natural Environment Research Council , with a focus on interdisciplinary projects linking ecology and mathematics. Labs and Teams: Collaborates with the Centre for Invasion Biology and International Initiative for Theoretical Ecology , fostering global networks in ecological theory and conservation.
Dr. Eng. Ewa Mackoś-Iwaszko serves as an Assistant Professor in the Department of Environmental Protection and Landscape at the Institute of Mathematics, Informatics and Landscape Architecture, Faculty of Natural and Technical Sciences, John Paul II Catholic University of Lublin. Her academic position places her at the intersection of environmental science, landscape architecture, and urban ecology, where she contributes significantly to research and educational initiatives. Her educational background includes a degree in environmental protection and landscape architecture from the John Paul II Catholic University of Lublin, a PhD in agricultural sciences specializing in horticulture, and postgraduate studies in computer graphics, desktop publishing, and publishing graphics. This diverse academic foundation supports her interdisciplinary approach to urban landscape research. Dr. Mackoś-Iwaszko's research interests focus on the impact of herbivorous arthropods on urban trees in terms of their ornamental value, landscape conservation, the role of vegetation in urban greenery systems, and the perception of urban landscapes. Her work bridges ecological science with practical landscape architecture applications, particularly examining how urban environments affect plant-animal relationships and how these relationships influence landscape aesthetics and functionality. Analysis of her recent publications reveals a consistent focus on urban dendroflora, plant-insect interactions in city environments, and the cultural dimensions of landscape. Her research demonstrates how urbanization affects biodiversity, particularly in housing estates and street tree populations, while also exploring therapeutic applications of horticulture and the historical-cultural significance of plants in regional contexts. Bronze Medal for Long Service (2021) Medal of the National Education Commission (2019) Multiple Rector's Awards from the Catholic University of Lublin (2024, 2023, 2022, 2020) Dr. Mackoś-Iwaszko actively contributes to academic service through membership on the Disciplinary Committee for Students and Doctoral Students and the Digital Humanities Program Council. She has organized numerous educational events including the Lublin Science Festival, Digital Humanities Days, and various art and photography competitions. Her work demonstrates strong commitment to both scholarly research and public science communication, particularly regarding urban ecology and landscape architecture.
Wojciech Thomas is a Lecturer at the Department of Applied Informatics, Faculty of Information and Communication Technology, Wrocław University of Science and Technology. He teaches courses including Technologies Supporting Software Development (DevOps) , Cloud Computing , and Script Languages . Since 2016, he has directed the postgraduate program Computer Network Administration , designed for professionals seeking advanced knowledge in network/server management. His research focuses on DevOps, cloud technologies (AWS/Azure), automation of complex IT environments, web applications, and software engineering. He has published on topics ranging from task scheduling algorithms to trends in software engineering education. His publications (2000–2021) reflect interdisciplinary work in computer science, operations research, and educational methodology. Common themes include optimization algorithms, cloud infrastructure, and academic curriculum development.
Dr. Eng. Wojciech Kmiecik is a researcher at the Department of Computer Systems and Networks, Faculty of Electronics, Photonics and Microsystems, Wrocław University of Science and Technology. He is actively involved in multiple research teams including Machine Learning, Computer Networks, Advanced Data Analysis Methods, and Metaheuristics. He also contributes to teaching and supervises diploma theses. His research focuses on optical networks , survivable multicasting , multi-criteria optimization , and metaheuristic algorithms . He has led and contributed to projects such as Dark-Box Optimization, evolutionary multi-criteria optimization, and advanced methods for multi-layer networks. His work bridges theoretical algorithm development with practical network design. The publication trends from 2010 to 2020 show a consistent focus on network survivability , elastic optical networks , and task allocation in parallel systems . His research integrates optimization techniques into networking solutions, particularly in dual homing architectures and deadline-sensitive provisioning. Key themes include resilience, efficiency, and scalability in both optical and computational systems. Scientific Awards: Medal for long-standing service to Wrocław University of Science and Technology Dr. Kmiecik has supervised diploma theses and is involved in teaching. He has not received externally reported grants, but his sustained project involvement suggests institutional or collaborative funding. He collaborates extensively with Prof. Krzysztof Walkowiak and other researchers in the department. Research Labs and Teams: Machine Learning Team Teaching Team Computer Networks Team Advanced Data Analysis Methods Team Metaheuristics Team
Dr hab. Sebastian Kwiecień, PhD, is an Associate Professor at the Department of Labour and Social Insurance Law within the Faculty of Law, Canon Law and Administration at the John Paul II Catholic University of Lublin . His academic and practical expertise spans labor law, intellectual property, and the historical legal frameworks of Poland's interwar period. PhD in Law (2007), habilitation (2017) Specializes in employee creativity, copyright trolling, and interwar economic/labor law Co-author of studies on AI training data licensing and industrial tax policy Research Interests focus on: Labor Law: Employment contracts, HR management, and social security Intellectual Property: Copyright trolling, employee rights, and flat-rate compensation Legal History: Interwar Polish industrial/economic law, land reform, and notarial regulations Recent Publications reveal a trend toward interdisciplinary analysis, merging historical legal systems with modern challenges like: AI ethics and copyright compliance Interwar-era employment frameworks Land reform policies and tax law evolution Industrial safety and vocational training Digital rights management Comparative EU/US copyright enforcement Teaching Activities include lectures on employer responsibilities, HR management, and interwar administrative law, alongside seminars on corporate legal practices.
Alicja Anuszkiewicz, D.Sc., is an Associate Professor at the Institute of Electronic Systems within the Faculty of Electronics and Information Technology at Warsaw University of Technology (PW). With 35 publications, 6 projects, and 1 patent, her work focuses on optics, fiber Bragg gratings (FBG), birefringence engineering , and sensor development . Her research spans nanostructured optical fibers , mode-division multiplexing , and medical/photonics applications . Academic Rank: Associate Professor Email: alicja.anuszkiewicz@pw.edu.pl Consultations: Mondays 14:15–15:15 Research Highlights : Developed numerical tools for FBG spectral analysis in few-mode fibers. Engineered nanostructured ZEBRA fibers for polarization-insensitive sensors. Optimized weakly-coupled few-mode fibers for telecommunications systems. Created 3D-printed mechanical elements with embedded FBG sensors. The tag cloud derived from her work includes optoelectronics, UV radiation, fiber optic sensors , and graded index optics . Her bibliometric indices (h-index: 7, Total CiteScore: 111.2) reflect significant impact in automation, electronics, and space technologies .
Dr. Krzysztof Billewicz serves as an Assistant Professor in the Department of Computer Science and Systems Engineering at the Faculty of Computer Science and Telecommunications, Wroclaw University of Science and Technology. Based in building C-3, room 122, he maintains active teaching responsibilities with consultation hours during the winter semester 2023/24 on Mondays (9:00-11:00) and Tuesdays (18:35-20:35, remote). His research spans the critical intersection of electrical engineering, energy policy, and human factors, with primary focus areas including smart grid development, electricity theft detection, building energy efficiency, and the psychological impacts of electrical systems. Work addresses Poland-specific energy challenges such as coal phase-out transitions, urban heat island effects, and grid modernization imperatives, demonstrating consistent interdisciplinary engagement between technical power systems analysis and socio-technical dimensions of energy infrastructure. Analysis of his 2016-2023 publications reveals evolving emphasis from foundational smart grid technologies toward integrated societal considerations. Key trends include methodological innovation in theft detection using consumption anomalies, critical assessment of policy impacts during energy transitions, and pioneering exploration of psychological dimensions in energy systems – establishing a distinctive research profile that bridges engineering rigor with human-centered perspectives in the Polish energy landscape. Scientific awards: No specific awards, fellowships, or medals were documented in available sources. Regarding academic mentoring, no information was provided about doctoral or master's students supervised. Similarly, details of research grants secured or laboratory affiliations were not mentioned in source materials, indicating primary focus on independent scholarly publication within the departmental framework.
