Faculty profile

Andreas Veneris

Back to faculty

ResearcherElectrical & Computer EngineeringUniversity of Toronto

This profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a University of Toronto directory, so their publications, courses and email address may be missing. Find their university profile.

Signals and details

Research

blockchain CAD tools and methodologies debugging distributed ledger technology formal methods smart contract software verification

Latest funding

Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
NSERC · 2019 · Principal investigator
$140,000
Multimodal Representation Learning for Retail Product Ontology
NSERC · 2018 · Principal investigator
$12,500
Multimodal representation learning for retail product ontology
NSERC · 2017 · Principal investigator
$25,000

All 13 grants and awards

Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology

Principal investigatorNSERC2019Discovery Grants Program - Individual

Principal investigators: Veneris, Andreas

Keywords: blockchain; CAD tools and methodologies; debugging; distributed ledger technology; formal methods; smart contract software; verification

$140,000

Multimodal Representation Learning for Retail Product Ontology

Principal investigatorNSERC2018Engage Plus Grants Program

Principal investigators: Veneris, Andreas

$12,500

Multimodal representation learning for retail product ontology

Principal investigatorNSERC2017Engage Grants Program

Principal investigators: Veneris, Andreas

$25,000

Theory and Methodology for Performance-Driven Automation in RTL and Testbench Debugging

Principal investigatorNSERC2014Discovery Grants Program - Individual

Principal investigators: Veneris, Andreas

$155,000

Low power design using power gating

Principal investigatorNSERC2012Collaborative Research and Development Grants

Principal investigators: Veneris, Andreas

$70,186

Low power design and verification

Principal investigatorNSERC2011Engage Grants Program

Principal investigators: Veneris, Andreas

$25,000

FPGA Functional Debug and Verification

Principal investigatorNSERC2011Engage Grants Program

Principal investigators: Veneris, Andreas

$25,000

Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment

Principal investigatorNSERC2009Discovery Grants Program - Individual

Principal investigators: Veneris, Andreas

$230,000

Logic debugging using boolean satisfiability in high performance digital VLSI designs

Principal investigatorNSERC2006Discovery Grants Program - Individual

Principal investigators: Veneris, Andreas

$66,000

Logic verification using diagnosis techniques

Principal investigatorNSERC2003Collaborative Research and Development Grants

Principal investigators: Veneris, Andreas

$18,000

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Something wrong or missing on this profile? Suggest a correction