Charalambos Charitos is a Professor at the Agricultural University of Athens , affiliated with the School of Environment and Agricultural Engineering and the Department of TIN & G.M. . He teaches Vector Calculus as part of the undergraduate curriculum, contributing to the Integrated Master’s degree in Agriculture with a focus on Natural Resources Management and Agricultural Engineering. Contact details: bakis@aua.gr Research Interests : His academic work spans Mathematical analysis applied to environmental systems Vector calculus in agricultural engineering contexts Computational methods for resource management .
Pierre-Evariste Dagand is a CNRS Researcher at IRIF, Université de Paris, where he is a member of the Proofs, Programs, and Systems group. His research focuses on enhancing the safety of systems software through the application of domain-specific languages and formal verification techniques, particularly leveraging interactive theorem provers. His research interests span several areas of computer science, including: Formal Methods : Using rigorous mathematical techniques to verify software and hardware systems Programming Languages : Designing and implementing languages with a focus on safety and correctness Compilers : Developing verified compilers for domain-specific languages and synchronous languages Type Theory : Exploring dependent types and their applications in verification Operating Systems : Contributing to the design of systems for multicore architectures Cryptography : Creating high-throughput cryptographic implementations via formal methods Dagand's publications demonstrate a consistent focus on formal verification and theorem proving applied to practical systems. His work frequently involves the Coq proof assistant and addresses challenges in compilers, cryptography, and systems programming. Recent trends include the development of tools for secure cryptographic implementations (e.g., Usuba and Tornado) and formal models for intermittent computing. He has advised numerous students in internships, working on projects related to formal methods, compilers, and cryptography. These internships have contributed to various research outputs and tools. Dagand is part of the Proofs, Programs, and Systems group at IRIF, which focuses on foundational aspects of computer science and their application to software verification and language design.
Stavrinos Panagiotis is a Professor of Mathematics at the National and Kapodistrian University of Athens (N.K.U.A.), specializing in the Department of Mathematics. His research focuses on Finsler Relativity, Cosmology, Gravitation, Dark Matter, Dark Energy, and Modified Theories of Gravity. He has contributed to over 100 publications, including seminal works on Finsler-Randers spacetime geometries and their cosmological implications. His editorial roles include founding membership in the Balkan Society of Geometers and co-editing special issues on Modified Theories of Gravity in journals like Universe and European Physical Journal C. His work spans theoretical frameworks, gravitational models, and cosmological applications, often addressing deviations from Einsteinian gravity through Finslerian geometric approaches. Research interests emphasize Finslerian extensions of general relativity, with applications to dark energy dynamics, black hole solutions (e.g., Reissner-Nordström and Kerr-like metrics), and cosmological models incorporating anisotropic spacetime structures. His recent articles (2024-2025) explore Finsler-Randers gravity's role in cosmological tensions and gravitational wave phenomena. Editorial contributions include shaping discourse on modified gravity through peer-reviewed special issues. Stavrinos' work integrates geometric methods with cosmological observations, focusing on geometric deviations from isotropy and their implications for dark sector physics. His collaborations span international teams, addressing both theoretical formalisms and computational models for spacetime metrics.
Christos Nikolopoulos is a Professor at the University of the Aegean, actively contributing to mathematical research and undergraduate education through rigorous coursework and specialized investigations in differential equations. Education: B.Sc. in Mathematics, National and Kapodistrian University of Athens. Master of Science in the Mathematics of Nonlinear Models, Department of Mathematics, Heriot-Watt University, Edinburgh, Scotland. Ph.D., Department of Mathematics, Heriot-Watt University, Edinburgh, Scotland. Research Focus: His work centers on nonlinear phenomena in Partial Differential Equations, with significant contributions to Free Boundary Problems and Blow-up Solutions. He investigates critical thresholds for solution blow-up in Reaction Diffusion Equations and develops mathematical models for systems with moving boundaries, emphasizing theoretical analysis and time-estimation frameworks. Current Teaching: For Winter semester 2024-2025, he instructs Infinitesimal Calculus III (course code 311-0550 Y), covering vector calculus in R n , multivariable differentiation, Taylor's theorem, Hessian analysis, constrained optimization via Lagrange multipliers, and vector field properties including divergence and curl. Contact: Office located in the "Regal mansion" Building; telephone: +30 22730 82156; office hours Wednesday & Thursday 11:00-13:00 (or by appointment); email: cnikolo@aegean.gr .
