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

Alessandra Palmigianoمشاهده پروفایل

استاد

• Logic
• Duality Theory
• Logics for Social Behaviour
• +۳ مورد دیگر

Alessandra Palmigiano is a Full Professor in Logic at the Department of Ethics, Governance and Society at Vrije Universiteit Amsterdam. She holds a PhD from the Universitat de Barcelona (2005) and has been affiliated with TU Delft and the University of Amsterdam. Her research focuses on duality theory, algebraic proof theory, and logics for social behavior. Key contributions include work on correspondence theory, multi-type calculi, and non-distributive logics. She has secured significant grants: NWO Vidi (€800k, 2013), Delft Technology Grant (€850k, 2013), and two NWO Aspasia grants (€200k in 2019 and 2012). Her research spans modal logic, lattice theory, and applications to AI, particularly in outlier detection and categorization using formal concept analysis. Recent publications (2023–2025) explore topics like polynomial-time checking of Sahlqvist formulas, correspondence theory in vector spaces, and algebraic proof systems for non-classical logics. Awards include the NWO Veni Grant (2007).

João Secoمشاهده پروفایل

دانشیار

• Programming Languages
• Type Systems
• Concurrency Control
• +۵ مورد دیگر

João Seco is an Associate Professor at the Computer Science Department of the Faculty of Science and Technology at Universidade Nova de Lisboa (FCT/UNL). He serves as a researcher at NOVA-LINCS (NOVA-Laboratory for Computer Science and Informatics) and is a member of the PLASTIC Research Team. His research interests focus on programming language theory with special emphasis on type systems, including type-based concurrency and aliasing control, spatial-behavioural type logics, and component programming languages. His work spans theoretical foundations and practical applications in programming language design. Prof. Seco has been actively involved in several significant research projects including CLAY, Flex-Agile, Certified Interfaces, StreamLine (where he served as Principal Investigator), IP Sensoria, ComponentGlue, and DataBricks. He has developed prototypes such as the ComponentJ Compiler and LiveWeb for Interfaces. He has held visiting positions at prestigious institutions including ITU Copenhagen (May-June 2016) and Carnegie Mellon University (Fall 2012). Previously, he was a researcher at CITI (until 2014) and a member of ICTI (CMU-Portugal) (until 2013). Prof. Seco serves as MC Substitute for the EUTypes COST Action IC15123 and is a member of the BETTY COST Action IC1201. He has organized major conferences including ICALP'05, Concur'07, and DisCoTec'09, and has served on program committees for OOPS@SAC (2013-2016) and SOFT-PT@INForum.