João Bispo

Responsável de Área

Domínios

Computação Centrada no Humano e Ciência da Informação Ciência e Engenharia dos Computadores

Projetos

UNIFY

Compilation Abstraction and Hardware Adaptation for Specialized and General-Purpose Computing Unification

A-IQ Ready

Artificial Intelligence using Quantum measured Information for realtime distributed systems at the edge

Publicações

Foundations for a Rust-Like Borrow Checker for C

Silva, T;Bispo, J;Carvalho, T;

2024

PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024

A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP)

Santos, T;Bispo, J;Cardoso, JMP;

2024

PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024

Using Source-to-Source to Target RISC-V Custom Extensions: UVE Case-Study

Henriques, M;Bispo, J;Paulino, N;

2024

PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024

A C Subset for Ergonomic Source-to-Source Analyses and Transformations

Matos, JN;Bispo, J;Sousa, LM;

2024

PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024

Ver todas as publicações

Centros

Computação Centrada no Humano e Ciência da Informação

O Centro de Computação Centrada no Humano e Ciências da Informação (HumanISE) integra engenheiros, cientistas e designers com competências em Computação Centrada no Humano (HCC), Ciência da Computação (CS) e Ciência da Informação (IS). A interdisciplinaridade, um dos elementos distintivos do centro, promove o desenvolvimento de sistemas de software, métodos e ferramentas que visam potenciar as pessoas e as suas comunidades. A excelência e impacto da atividade de investigação, inovação e consultoria do HumanISE permitem responder às necessidades crescentes de elevada complexidade, volatilidade, heterogeneidade, ambiguidade, incerteza, conformidade com normas e enquadramentos legais, éticos e organizacionais. A transferência de valor ocorre em estreita colaboração com parceiros académicos e empresariais. As principais áreas de investigação do HumanISE são: Interação Pessoa-Computador; Computação Gráfica e Media Digital Interativa; Gestão da Informação e Sistemas de Informação; Engenharia de Software; e Sistemas Computacionais de Grande Escala e Propósito Específico, Linguagens e Ferramentas; Computação para Sistemas Embebidos e Ciberfísicos. O HumanISE conta também com áreas de inovação: Ciências da Terra, dos Oceanos e do Espaço (EOSS); Investigação Personalizada no Domínio da Saúde; Engenharia de Sistemas de Informação Geoespacial; e Sistemas de Informação e Computação Aplicada.