معرفی
Dr. Alessio Guglielmi is a former Research Associate at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at TU Dresden. He was affiliated with the Knowledge Representation and Reasoning research group, focusing on foundational aspects of computational logic and proof theory. His work emphasizes structural proof theory, linear logic, and formal systems.
His research interests include proof identity, automated reasoning, and the application of deep inference in formal systems. He has contributed to the development of finitary proof systems and the study of non-commutative extensions in logic.
His publications span topics such as proof search in linear logic, consistency proofs without cut elimination, and the calculus of structures. Despite no listed awards, his work has been featured in conferences like LPAR and CSL, and journals like Lecture Notes in Computer Science.
Dr. Guglielmi’s advising and grant activities are not detailed here, but his contributions to the ICCL and computational logic research remain notable.
Alessio Guglielmi در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- BBen RalphUniversity of Bath · مدرس ارشد
- PPaola BruscoliDresden University of Technology · پژوهشگر
Alessio MansuttiMax Planck Institute for Software Systems · استادیار
Christoph WeidenbachDresden University of Technology · پژوهشگر- RRajeev GoréDresden University of Technology · استاد مهمان
Tim LyonDresden University of Technology · پژوهشگر