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

• Optics
• Ophthalmic Optics
• Wavefront Coding
• +۳ مورد دیگر

Justo Arines Piferrer is a full-time Professor at the Faculty of Optics and Optometry , University of Santiago de Compostela , affiliated with the Department of Applied Physics and the Materials Institute (iMATUS) . His work is part of the Strategic Grouping in Materials (AEMAT) and the P4Life Photonics4Life research group. His research focuses on Wavefront Coding , Retinal Imaging , and Aberration Compensation , with applications in Ophthalmic Optics and Adaptive Optics . He has pioneered techniques for presbyopia correction using Jacobi-Fourier phase masks and developed low-cost optical solutions for cataract-affected imaging and PDMS lenses. His recent publications emphasize phase mask engineering , environmental lighting impacts , and educational innovations in optics. Key trends include computational imaging , aberration modeling , and affordable ophthalmic devices . He contributes to the CODEHO committee for optics dissemination and education, integrating webcam-based teaching tools in optometry training. His work spans collaborations with iMATUS and AEMAT , though no specific grants or awards are listed in the provided data.

• Civil Engineering
• Mechanical Engineering
• Sustainable Energy
• +۴ مورد دیگر

Celso Rodríguez López is an Associate Professor in the Department of Civil Engineering at the University of Las Palmas de Gran Canaria, affiliated with the School of Industrial and Civil Engineering. He has supervised numerous final degree projects in Mechanical Engineering, Electrical Engineering, and Industrial Design. Research focuses on civil infrastructure, sustainable energy systems, and mechanical-electrical integration. Advises on projects related to fire protection, photovoltaic installations, vehicle conversion, and urban facilities. Active in engineering education and practical design implementation.

• Optics
• Biomedical Optics
• Ophthalmic Devices
• +۳ مورد دیگر

JUSTO ARINES PIFERRER is a University Professor at the University of Santiago de Compostela , affiliated with the Department of Applied Physics within the Faculty of Optics and Optometry . He is part of the Materials Institute (iMATUS) and the Strategic Grouping in Materials (AEMAT) , leading the P4Life Photonics4Life research group. His doctoral thesis (2006) focused on high-resolution retinal imaging via deconvolution after partial compensation, advised by Dr. Salvador Bará Viñas. Research interests include optical systems for retinal imaging , wavefront coding techniques , phase mask design for vision correction (e.g., presbyopia), and low-cost ophthalmic devices . He explores applications in biomedical optics , laser technologies , and educational tools for optometry training. Recent work addresses chromatic aberration correction in imaging systems, presbyopia solutions using Jacobi-Fourier phase masks, and enhancing retinal images in cataract patients. He also investigates UVC disinfection methods and environmental lighting impacts on cultural heritage sites. No scientific awards are listed, though his contributions span over 100 publications. He has advised students in optometry and biomedical optics, though specific names are not provided. His lab work integrates photonics, materials science, and medical engineering, with collaborations in both academic and industrial sectors.

Nata Stulovaمشاهده پروفایل

پژوهشگر

• Software Engineering
• Formal Methods
• Natural Language Processing
• +۳ مورد دیگر

Nata Stulova is a Researcher currently working as a staff research scientist at MacPaw's Technological R&D Center, focusing on software engineering research involving formal and informal program specifications. Formerly, she held academic roles including senior postdoctoral researcher at the University of Bern (SCG), researcher at EPFL's LARA Lab, and PhD work at the Technical University of Madrid (UPM). Her research spans software documentation consistency, NLP applications, runtime verification, and low-code tools. She has led multiple projects addressing code comment quality, empirical studies on documentation practices, and tool development for requirements engineering. Despite transitioning to industry in 2022, she maintains active collaboration with academia, publishing in top conferences like ICSE and IEEE Transactions. She holds a PhD in Computer Science from UPM and has authored numerous peer-reviewed articles and conference papers. Her work emphasizes bridging academic research with industry applications, particularly in software analysis and developer productivity. Education: PhD in Computer Science, Technical University of Madrid (2018) MSc in Artificial Intelligence, Technical University of Madrid (2013) BSc in Applied System Analysis, NTUU "KPI" (2012) Research Interests: Her work focuses on improving software quality through automated documentation tools, runtime verification techniques, and low-code solutions for requirements engineering. She explores NLP methods for detecting inconsistent or outdated comments and optimizing static analysis efficiency. Recent projects include SwiftEval (LLM-generated code evaluation) and RepliComment (cloned comment detection). She also emphasizes practical applications of formal methods in dynamic languages like Prolog and Python. Grants & Funding: ASA: Agile Software Assistance TRACES: Resource-Aware Software Tools N-GREENS: Energy-Efficient Software Labs/Teams: Core member of the Ciao system development team at IMDEA Software Institute, contributor to the Software Composition Group (SCG) at UniBe, and collaborator with MacPaw's TR&D team on industry-focused R&D.

• Administrative Law
• Environmental Law
• Public Procurement
• +۲ مورد دیگر

María Consuelo Alonso García serves as Professor of Administrative Law at the University of Castilla-La Mancha's Department of Public Law and Business Law since May 4, 2017, actively contributing to both teaching and research within Spain's legal academic community. Education Doctor in Law, University of Castilla-La Mancha (1994) Licentiate in Law, Universidad Complutense de Madrid (1987) Research Focus : Professor Alonso García's scholarship centers on Administrative Law with specialized expertise in Environmental Regulation , Sustainable Public Procurement , and Gender Equality in Public Institutions . Her work critically examines how local authorities implement renewable energy policies, integrates social/environmental considerations into public contracting, and develops gender-responsive legal frameworks. Recent publications demonstrate her analytical approach to translating EU directives into Spanish regional contexts, particularly regarding Madrid's environmental governance. Publication Trends : Her 2020-2024 output reveals three dominant trajectories: (1) ecological public procurement emphasizing circular economy principles, (2) regional environmental policy analysis focused on Madrid's air quality and urban regulations, and (3) gender impact assessments in legislative processes. These interconnected strands highlight her commitment to legally sustainable development through practical policy recommendations for public authorities.

Bas Spittersمشاهده پروفایل

دانشیار

• Homotopy Type Theory
• Formal Verification
• Blockchain
• +۶ مورد دیگر

Bas Spitters is an Associate Professor at the Department of Computer Science, Aarhus University, Denmark. He leads the Concordium Blockchain Research Center and the Blockchain workpackage in Digit , and contributes to Aarhus University's Quantum Campus initiative. His research spans Homotopy Type Theory , Formal Verification , and High-assurance cryptographic software . He develops proof assistants like Coq for applications in probabilistic programming , blockchain security , and quantum computing . Recent article trends focus on verified compilation (CertiCoq-Wasm), smart contract certification (ConCert), and applications of HoTT to probabilistic and blockchain systems. Key keywords include Formal Methods , Blockchain , Quantum Computing , and Cubical Type Theory . Scientific awards and grants: AFOSR grant (2018-2021) for Homotopy Type Theory in probabilistic computation Villum Foundation grant (2015-2019) for Guarded Homotopy Type Theory NWO VENI grant (2010-2013) for Reasoning and Computing DIAMANT researcher grant Advising and collaboration: Advised PhD students: Benjamin Salling Hvass, Jakob Botsch Nielsen, Andreas Aagaard Lynge, Soren Eller Thomsen, Martin Bidlingmaier Collaborated on computer-verified exact analysis, smart contracts, and quantum logic Organized workshops: TYPES workshop , HACS , and DMV Mini-Symposium

Michael Norrishمشاهده پروفایل

دانشیار

• Formal Methods
• Interactive Theorem Proving
• Programming Languages
• +۴ مورد دیگر

Michael Norrish is an Associate Professor at the School of Computing, Australian National University (ANU) , specializing in formal methods, programming language semantics, and interactive theorem proving. His career spans roles at NICTA, Data61, and ANU, with a focus on mechanised mathematics and verified systems. PhD in Computer Science (University of Cambridge, 1999) Undergraduate degree from Victoria University of Wellington His research bridges interactive theorem-proving (ITP) systems like HOL4 with real-world systems verification, particularly in programming languages and compilers. He leads the CakeML project, developing a verified compiler for functional languages. His work intersects formal verification with practical system design, including projects on reproducibility debt in scientific software and verified processors. Recent publications highlight verified compilation techniques, reproducibility challenges, and Kolmogorov complexity formalization. He actively participates in conference program committees (e.g., CPP, PLDI) and promotes trustworthy systems development through tools like HOL4. Current affiliations: ANU, CakeML Project, Trustworthy Systems Research Group (UNSW) Collaborations: Chalmers University (postdoc opportunities), seL4 microkernel ecosystem

Aymeric Fromherzمشاهده پروفایل

پژوهشگر

• Formal Methods
• Secure Systems
• Rust Verification
• +۶ مورد دیگر

Aymeric Fromherz is a researcher at Inria Paris, focusing on formal methods for secure systems. He leads projects in Rust verification, high-assurance cryptography, and formalization of computational legal texts. Education includes a PhD from Carnegie Mellon University (co-advised by Bryan Parno and Corina Păsăreanu) and degrees from École Normale Supérieure. His research spans Rust verification (via Aeneas toolchain), verified cryptographic primitives , and computational law (through the Catala language). Recent publications address memory allocators, borrow-checking, and legal ambiguity detection. Major Scientific Awards : Distinguished Artifact Award (CAV 2025) Best Tool Paper Award (ESOP 2024) ACM SIGSAC Dissertation Award (2021) A.G. Milnes Dissertation Award (2021) He contributes to conferences like POPL, ICFP, and CPP, and participates in the Everest Project. The Prosecco Team at Inria Paris supports his research on formal methods and security.