Find Academic Supervisors

• Formal Methods
• Interactive Theorem Proving
• Proof Assistants
• +7 more

Chantal Keller is a Lecturer in the Computer Science Department at IUT d'Orsay, University of Paris-Saclay, and a member of the Formal Methods Laboratory (LMF), a joint unit involving CNRS and ENS Paris-Saclay. Her work bridges theoretical computer science and practical formal verification, with a strong focus on interactive theorem proving and proof assistant technologies. University: University of Paris-Saclay School: IUT d'Orsay Department: Computer Science Department Research Lab: Laboratoire Méthodes Formelles (LMF) Her research centers on enhancing the power and usability of proof assistants like Coq. She has developed tools such as SMTCoq , which integrates SMT solvers into Coq for automated reasoning, and HOLLIGHTCOQ , enabling interoperability between HOL-Light and Coq. Her PhD focused on formal proofs with SMT, and she continues to contribute to foundational aspects of type theory, lambda calculus, and logical frameworks. The 15 most recent articles reflect deep engagement with formal logic, programming language semantics, and automated reasoning. Key trends include proof interoperability, termination analysis, constraint programming, and the formalization of mathematical and computational systems in proof assistants. Her work spans theoretical developments and practical implementations in Coq, Agda, and OCaml. Chantal Keller has served on numerous program committees, including ITP, CPP, POPL, TAP, and JFLA, highlighting her active role in the formal methods community. She has held teaching and research positions since 2007, including roles at École Polytechnique and the University of Nottingham. 2025: Co-PC Chair, ITP 2022: Chair, JFLA 2021: Vice-Chair, JFLA; Co-Chair, PxTP 2017–2022: Coordinator, Digicosme UPSCaLe working group She has advised on workshops and school programs, including the EasyCrypt-F*-CryptoVerif school in 2014. She has not received any explicitly mentioned scientific awards in the provided texts. She is actively involved in teaching programming, algorithms, and mobile development at IUT d'Orsay.

• Remote sensing data acquisition and processing
• Parallel computing and computer clusters
• Teleinformatic systems and networks
• +3 more

Dariusz Chaładyniak is a researcher at the Institute of Geospatial Engineering and Geodesy, Military University of Technology, where he has been employed since 1992. He earned his PhD in geodesy and cartography (specializing in geoinformatics) from the Military University of Technology in 2002 and graduated with distinction from its Faculty of Civil Engineering and Geodesy in 1993. His research focuses on remote sensing data acquisition and processing parallel computing and computer clusters teleinformatic systems and networks information security He has participated in multiple research projects funded by the State Committee for Scientific Research (KBN), the Ministry of Science and Higher Education, and European Union programs, and has authored or co-authored over 50 publications in conference proceedings and scientific journals.

• Combustion Engineering
• Artificial Intelligence
• Numerical Simulations
• +4 more

Dr inż. Mateusz Żbikowski is a researcher at the Institute of Heat Engineering, Faculty of Power and Aeronautical Engineering, Warsaw University of Technology. His research focuses on applying artificial intelligence and computational methods to combustion process optimization, with expertise in numerical simulations, high-performance computing, and data processing frameworks like Apache Spark and Hadoop. Teaching: Conducts courses on Cloud Computing, Combustion Methods (Cantera), and Computer Simulations (OpenFoam) Technologies: Works with MPI/MPJ, OpenFoam, and programming languages including Java, C++, Python, and R Research: Investigates AI-driven combustion optimization, numerical modeling of thermal processes, and distributed computing cluster applications

Agnieszka KowalczewskaView profile

Assistant Professor

• Communication psychology
• Management psychology
• Creative communication
• +5 more

Agnieszka Kowalczewska serves as an Assistant Professor at SWPS University's Faculty of Social Sciences in Warsaw, Department of Management. She is also affiliated with the Centre for Research on the Economics of Memorial Sites. As a specialist in communication psychology, she focuses on creative organizational communication approaches, interpersonal skill development, and multisensory communication techniques. Her research encompasses: Management psychology frameworks Synesthesia as parallel sensory experience Organizational communication dynamics Gestalt therapy applications Psychodrama techniques Design thinking methodologies Dr. Kowalczewska integrates therapeutic practices with contemporary communication theory, creating innovative approaches to address organizational challenges through bodywork, creative expression, and cognitive restructuring techniques. Her scholarly contributions include significant publications such as 'Selected issues of soft management of organizations' (2015), 'Interpersonal communication in higher education institutions' (2015), and 'Esoterica for sale' (2002), which collectively explore communication processes within organizational contexts with particular emphasis on psychological dimensions. She teaches diverse courses including communication knowledge, creative thinking, rhetoric of interpersonal communication, design thinking, and visual communication. As coordinator of the journalism program, she oversees curriculum development and academic direction, ensuring integration of psychological principles with journalistic practice. Beyond academic responsibilities, Dr. Kowalczewska conducts professional training sessions, workshops, and individual coaching in personal development, interpersonal skills enhancement, creative communication strategies, psychology of creativity, and design thinking applications, effectively bridging theoretical knowledge with practical implementation in professional environments.

• Computer Science
• Blockchain Technology
• Cyber-Physical Systems
• +3 more

Michał Horodelski is an Assistant Professor at the Department of Applied Computer Science, Faculty of Natural and Technical Sciences, John Paul II Catholic University of Lublin. His research focuses on blockchain technology, cyber-physical systems, and simulation tools, with applications in emergency medical services and healthcare informatics. He utilizes Petri nets and Scilab for modeling and verification. University: John Paul II Catholic University of Lublin School: Faculty of Natural and Technical Sciences Department: Department of Applied Computer Science Academic Rank: Assistant Professor Email: michal.horodelski@kul.pl Horodelski's research spans blockchain for decentralized authorization, smart contracts, and real-time systems in healthcare. His work includes applications of knowledge-based systems for EEG analysis and life-saving algorithms, emphasizing data synchronization and simulation. He has collaborated with institutions like Warsaw School of Economics and Wrocław University of Economics. His projects include methodology development for system behavior description in algebraic environments funded by the National Science Centre. Horodelski is a member of the European Centre for Information Society Technologies (ECIST) and contributes to open-source software adoption in academia.

• Contemporary Ethnic Fiction
• Transculturation in Literature
• Historical/ Ethnohistorical Reconstruction
• +6 more

Prof. Agnieszka Gondor-Wiercioch is an Assistant Professor at Jagiellonian University’s Institute of American Studies and Polish Diaspora, part of the Faculty of International and Political Studies. She holds a PhD in Literature (2006) and MA in English Philology (2002), both from Jagiellonian University. As Head of the Department of Latin America and coordinator of academic programs like MOST and Lekcja z klasą, she specializes in contemporary ethnic fiction, transculturation, and historical reconstruction in literature. Her research focuses on Native American, Latino/a, and Latin American authors, examining themes like transnational identity, cultural clash, and memory. Recent publications include studies on Colson Whitehead’s historical narratives, Sandra Cisneros’ migrant identity explorations, and trauma in works by Toni Morrison and Louise Erdrich. She actively participates in international conferences and leads research projects on Indigenous communities in Minnesota and transcultural identity. Her work bridges comparative literature, cultural studies, and historical analysis. Education : PhD in Literature, Jagiellonian University (2006) MA in English Philology, Jagiellonian University (2002) Research Interests : Contemporary Ethnic Fiction Transculturation in Literature Historical/ Ethnohistorical Reconstruction Hybrid Literature Dialogic Identity Transnational Problems Key Publications : Between Reconstruction and Myth (2016) Two Worlds, Two Memories (2009) Grants and Projects : 2023: Cultural Discourse Analysis on Ojibwe Nation 2022: Transcultural Identity Research Grant

Aleksander ByrskiView profile

Professor

• Nature-inspired Computing
• Agent-based Distributed Computation
• Artificial Intelligence
• +3 more

Aleksander Byrski is a Full Professor at AGH University of Science and Technology, serving as Deputy Dean for Research and Cooperation in the Faculty of Computer Science, Electronics and Telecommunications. He is also an active member of the Council of Information Technology and Telecommunications and Deputy President of the Try IT Foundation. His research focuses on nature-inspired computing, agent-based distributed computation, artificial intelligence, and parallel/distributed computing and simulations. Byrski's work spans optimization algorithms, high-performance computing frameworks, and applications in urban traffic simulation, healthcare, and engineering. His research interests emphasize scalable agent-based systems, socio-cognitive metaheuristics, and their practical implementations in solving complex real-world problems. Key contributions include advancements in ant colony optimization, evolutionary multi-agent systems, and distributed computing paradigms. Byrski actively bridges theoretical computer science with applied domains such as traffic management, epidemic modeling, and smart city technologies. Articles from 2023–2025 highlight his focus on hybrid metaheuristics, socio-cognitive algorithms, and optimization for time-delay systems. Notable themes include improving algorithm efficiency through migration strategies, leveraging two-dimensional pheromone models, and exploring open/closed source frameworks for large-scale optimization. His work often addresses scalability challenges in HPC environments and real-time systems. Byrski has received no explicitly mentioned scientific awards but is recognized for his leadership roles in academic and industry collaborations. His advising and grants are not detailed here but reflect ongoing research in agent-based computing and functional programming paradigms. He contributes to interdisciplinary teams advancing computational intelligence and societal applications such as epidemic simulation and smart infrastructure.

• Political History
• History of the Second Polish Republic
• Biographical Studies
• +7 more

Marek Witold Sioma is a Professor at the Faculty of History and Archaeology , Maria Curie-Skłodowska University. He works in the Department of Methodology and Research on 20th-21st Centuries , focusing on political history of the Second Polish Republic and biographical studies of key figures like General Sławoj Składkowski and Józef Piłsudski. 1995 – Master's degree 2002 – PhD on Sławoj Felicjan Składkowski 2014 – Habilitation on National Unity Camp (1937-1939) His research examines: Administrative-governmental interactions Dekompozycja (disintegration) of political scene Legion Młodych studies Polish interwar political ideologies Modernization processes Grant Leadership : 2021-2024 – Leader of National Program for Humanities grant on War Diaries of Piłsudski Followers 2018-2023 – Participant in What History Do Poles Need Today? DIALOG program Scientific Awards : Multiple Rector's Awards (2005-2019) Comenius Medal (2011) Bronze Medal for Long Service (2013) 700th Anniversary Medal of Lublin (2018) Tomaszów Lubelski Medal (2021) As Editor-in-Chief of "Rocznik Lubelski" (2023-), he shapes regional historical discourse. His work emphasizes documentary editions (e.g., Kordian Józef Zamorski's diaries) and historical methodology .

Filip Wierzbicki-NowakView profile

Professor

• Drawing
• Painting
• Graphic Art
• +3 more

Dr. Filip Wierzbicki-Nowak, DSc, Professor at the University of Arts in Poznań (UAP), is a Polish academic and artist specializing in drawing, painting, graphic art, and site-specific installations. Affiliated with the Faculty of Painting and Drawing and the 8th Drawing Studio at UAP, he has taught and conducted workshops since 2016. His research focuses on spatial context interpenetration in visual arts, with a practice spanning painting, linocut, offset printing, and experimental video work. Habilitation (2024): Academy of Fine Arts in Warsaw Doctoral Dissertation Defense (2018): University of Arts in Poznań Master's Degree (2012): Faculty of Painting in studio of Prof. Dominik Lejman, UAP Filip's artistic practice involves site-specific installations and graphic experiments. His works have been exhibited internationally across Europe, Asia, and North America, including solo shows like Equilibrium (2024) and Places (2024), as well as collective exhibitions such as PARALLEL LIVES (2025). Techniques include linocut, offset printing, and digital art. Scientific recognition includes the Rector's Award (2023) and nominations for prestigious art competitions. He has participated in numerous international workshops and residencies, including Erasmus+ in Spain (2017) and a residency at Akureyri Art Museum, Iceland (2024). 2025: Grant from 'Polish Culture in the World' program, Adam Mickiewicz Institute 2016–2018: Pro-Quality Scholarship for doctoral students, UAP 2017: Erasmus+ Scholarship, Universitat Politecnica de Valencia, Spain 2023: Creative residency at Aviário Studio, Portugal His works are included in collections like Czong Institute for Contemporary Art (South Korea), ABC Gallery (Poznań), and Kunsthalle Hilsbach (Germany).

Dominik ŻelaznyView profile

Researcher

• Scheduling
• Evolutionary Algorithms
• Multi-objective Optimization
• +3 more

Dominik Żelazny is a researcher at the Faculty of Information and Communication Technology, Department of Computer Engineering, Wrocław University of Science and Technology. He focuses on scheduling algorithms and multi-objective optimization using evolutionary computation methods. Current position: Researcher Primary affiliation: Department of Computer Engineering Research interests include: Development of evolutionary algorithms for scheduling problems Multi-criteria and multi-objective optimization GPU-accelerated computing using CUDA Parallel and distributed algorithm design Industrial applications of operational research

• Fast computational hardware
• Massively-parallel computing
• Residue number systems
• +4 more

Tadeusz Tomczak is a faculty member at the Faculty of Information and Communication Technology , Wrocław University of Science and Technology , within the Department of Computer Engineering . His academic rank is Professor . Research Focus: Fast computational hardware, massively-parallel computing, and residue number systems. Expertise: GPU acceleration, fluid dynamics simulations, sparse geometries, and numerical methods. Recent publications highlight his work on Navier-Stokes solvers , Lattice-Boltzmann methods , and residue number systems , with applications in fluid dynamics, biomedical engineering, and high-performance computing. His research spans hardware acceleration, algorithm optimization, and computational modeling on GPUs.

• Cloud Computing
• Database Systems
• Parallel Processing
• +3 more

Mariusz Fraś is a researcher affiliated with the Faculty of Information and Communication Technology at Wrocław University of Science and Technology. He works within the Department of Computer Science and Systems Engineering , focusing on computational systems' performance and cloud-based architectures. His research spans database optimization, parallel processing, and mobile application frameworks. Research interests include: Computational cloud scalability and cost optimization Database application performance analysis Parallel processing frameworks Mobile sensor data processing Web content delivery efficiency His publications demonstrate expertise in cloud computing trends, with 10 peer-reviewed works since 2014. Notable collaborations include researchers like Piotr Karwaczyński and Bogdan Marczuk. Current research likely continues exploring hybrid cloud environments and software performance metrics. Contact: mariusz.fras@pwr.edu.pl , Room 301, Building C-3, Wrocław University of Science and Technology.

Witold KowalczykView profile

Professor

• Russian Literature
• 18th-19th Century Sentimental Prose
• Apollon Maykov's Works
• +4 more

Prof. Witold Kowalczyk has been a faculty member at Maria Curie-Skłodowska University since 1979, holding the academic rank of Professor since 1996. He served in multiple leadership roles, including Head of the Department of Russian Literature and Culture of the 18th–19th Centuries (1996–2015), Vice-Dean of the Faculty of Humanities (1993–1996), and Proxy of the Vice-Rector for Student Affairs (1990–1991). His research spans Russian literature of the 18th–19th centuries , focusing on sentimental prose , sacred themes , demonology , Judaica , and cognitive literary analysis . Graduated from Leningrad University (1972) and Jagiellonian University (1980) Habilitation at UMCS (1992) His scholarly work includes monographs on Apollon Maykov and Nikolai Karamzin, as well as co-edited volumes like Rossica Lublinensia (vols. I–VI). He supervised 5 PhD theses and over 140 master's theses, pioneering seminars on the Sacred in Russian Literature and teaching Orthodox Spirituality in philology programs. He has held visiting professorships at Catholic University of Lublin and collaborated with foreign institutions in Leningrad, Moscow, and Vilnius. His scientific awards include the Gold Cross of Merit (1993), National Education Medal (1997), and Lumen mundi Medal (2019). He also served as a long-time expert for the Central Examination Board and the University Accreditation Committee.

Krzysztof WalkowiakView profile

Professor

• Computer Network Optimization
• Machine Learning in Networks
• Artificial Intelligence
• +13 more

Krzysztof Walkowiak is a Professor at the Faculty of Computer Science and Telecommunications, Wrocław University of Science and Technology (PWr), where he also serves as the Dean of the Doctoral School. He leads the Computer Networks Team (ZSK) and is actively involved in multiple research projects, including Dark-Box Optimization and evolutionary methods for multi-criteria network design. A Senior Member of IEEE and IEEE ComSoc, he contributes to academic governance as a member of the Polish Academy of Sciences’ Committee on Electronics and Telecommunications. PhD in Computer Science (2000, with distinction) Habilitation in Computer Science (2008) Professor of Technical Sciences (2017) Dean of the Doctoral School, PWr (since 2020) Senior Member, IEEE and IEEE Communications Society Member, Committee on Electronics and Telecommunications, Polish Academy of Sciences His research spans computer network optimization, machine learning in networks, evolutionary algorithms, survivable optical networks, and intelligent computational techniques . He has pioneered the integration of AI methods in teleinformatics and leads initiatives in intent-based and cognitive networking. His work emphasizes multi-layer, application-aware network design and distributed processing systems. The 15 most recent publications reflect a strong trend in optimization under uncertainty, AI-driven networking, and metaheuristic algorithm development . There is a clear focus on survivability, scalability, and automation in modern network architectures, with increasing attention to edge intelligence via TinyML and cognitive systems. His recent work also addresses internationalization and pedagogical innovation in doctoral education. Fabio Neri Best Paper Award 2014 (Elsevier Journal of Optical Switching and Networking) Best Paper Award, DRCN2009 (Washington, USA) Best Paper Award, RNDM2015 (Munich, Germany) Medal of the National Education Commission (2011) Scientific Scholarship, Wrocław University of Science and Technology (2017) Star of Internationalization 2024 – Teaching Star Professor Walkowiak has supervised 10 completed PhD theses and currently mentors 5 doctoral students. He has led or managed 13 research projects funded by NCN (including 4 OPUS grants), EU, NAWA, and national agencies. His grant leadership includes the NAWA InterDocSchool project (2021–2023) and the Unite! Doctoral School curriculum development. He has reviewed over 300 journal submissions and served as session chair at 22 international conferences. He leads several research teams: Computer Networks Team (ZSK), Machine Learning Team, Advanced Data Analysis Methods Team, Metaheuristics Team, and Teaching Team . He has developed innovative educational programs such as the Research Skills course and Recent Research Trends , promoting international collaboration and doctoral training. He championed the transition to English-language instruction in the Doctoral School and promotes internationalization as a 'team sport' across institutional levels.

• Software Engineering
• Formal Methods
• Temporal Logic
• +4 more

Marek Adamek is a researcher affiliated with the Institute of Computer Science at the Faculty of Electronics and Information Technology, Warsaw University of Technology. His institutional email is M.Adamek@ii.pw.edu.pl, and he maintains an external academic profile in the university repository. His research focuses on formal methods in software engineering, particularly temporal logic applications for code analysis. Key interests include: Line-of-code metrics and verification Kripke structure modeling Parallel programming constraints SAT solving for temporal logic (LTL) Software validation through formal methods His bibliometric profile shows 3 publications with a Scopus h-index of 1, total SNIP of 0.846, and CiteScore of 1.33. The Polish Ministry of Science awards him a cumulative score of 50 based on his research output. Awards and metrics: Scopus h-index: 1 (including autocitations) Total SNIP: 0.846 Total CiteScore: 1.33 Ministry Score: 50 He completed his PhD in 2019 with research centered on temporal logic applications in software engineering. His work bridges theoretical computer science and practical code analysis, particularly in parallel programming environments.