معرفی
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.
