Gregorio de Miguel Casado : <h2 align=left>Research</h2>

Skip to content

Research

Current research interests

Kernel Methods for Non-linear Systems Modelling

Bioinformatics: Phylogenetic Analysis

Formal Methods in Scientific Computing

VLSI Design: Specialized Arithmetic Processors

ERALib: Exact Rational Arithmetic Library

Research Groups & Resources