Jason Jaskolka
Associate Professor
Carleton University
Canada
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.

How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Mathematical Logic
Hardware Engineering
Verification Engineering
Concurrent Programming
Software Engineering
Formal Methods
Model Theory
Ask ApplyKite AI
Recent Grants
Grant: Close
Comprehensive Security Assurance Solutions for Software-Dependent Systems
Open Date: 2020-04-01
Close Date: 2021-03-31
Grant: Close
The Human-Centric Cybersecurity Partnership
Open Date: 2020-04-01
Close Date: 2021-03-31
Grant: Close
Comprehensive Security Assurance Solutions for Software-Dependent Systems
Open Date: 2019-04-01
Close Date: 2020-03-31
Grant: Close
Comprehensive Security Assurance Solutions for Software-Dependent Systems
Open Date: 2019-04-01
Close Date: 2020-03-31
Grant: Close
A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
Open Date: 2013-04-01
Close Date: 2014-03-31
Articles5

How do I reach out?
Sign in for free to see their profile details and contact information.