Faculty profile

Sofiene Tahar

ResearcherElectrical and Computer EngineeringConcordia University

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

Signals and details

Research

Dependability Analysis Formalized Mathematics Formal Methods Formal Verification Functional Correctness Higher Order Logic Mathematical Physics Performance Analysis

Latest funding

Formal Verification of Physical Systems
NSERC · 2020 · Principal investigator
$246,000
Formal Analysis of Physical Systems
NSERC · 2015 · Principal investigator
$145,000
System safety assessment for IMA architectures using formal methods
NSERC · 2015 · Principal investigator
$25,000

All 11 grants and awards

Formal Verification of Physical Systems

Principal investigatorNSERC2020Discovery Grants Program - Individual

Principal investigators: Tahar, Sofiene

Keywords: formal methods; formal verification; theorem proving; higher order logic; formalized mathematics; mathematical physics; functional correctness; performance analysis; dependability analysis; reliability and safety

$246,000

Formal Analysis of Physical Systems

Principal investigatorNSERC2015Discovery Grants Program - Individual

Principal investigators: Tahar, Sofiene

$145,000

System safety assessment for IMA architectures using formal methods

Principal investigatorNSERC2015Engage Grants Program

Principal investigators: Tahar, Sofiène

$25,000

Formal verification of physical systems and devices

Principal investigatorNSERC2010Discovery Grants Program - Accelerator Supplements

Principal investigators: Tahar, Sofiène

$120,000

Formal verification of physical systems and devices

Principal investigatorNSERC2010Discovery Grants Program - Individual

Principal investigators: Tahar, Sofiène

$255,000

Medical Grade Universal Smart Battery Charger and Power Supply

Principal investigatorNSERC2010Engage Grants Program

Principal investigators: Tahar, Sofiène

$22,500

From modeling to programmable platforms for advanced wireless systems

Co-investigatorNSERC2007Strategic Projects - Group

Principal investigators: Aboulhamid, ElMostapha

$599,564

Modeling and verification of heterogeneous microsystems

Principal investigatorNSERC2005Discovery Grants Program - Individual

Principal investigators: Tahar, Sofiène

$160,000

System-level design for heterogeneous parallel Soc's

Co-investigatorNSERC2004Strategic Projects - Group

Principal investigators: Aboulhamid, ElMostapha

$195,410

Formal specification and verification of microelectronics systems

Principal investigatorNSERC2001Discovery Grants Program - Individual

Principal investigators: Tahar, Sofiène

$108,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