Faculty profile

Ondrej Lhotak

ResearcherComputer Science, David R. Cheriton School ofUniversity of Waterloo

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

Signals and details

Research

functional programming languages interprocedural analysis object immutability object-oriented programming languages pointer aliasing programming languages Scala programming language side-effect analysis

Latest funding

Development, Testing, Launch, Analysis Computer to Frontend Experimental Cluster
NSERC · 2024 · Co-investigator
$32,631
Parallel Client/Server System for Programming Language Research
NSERC · 2022 · Co-investigator
$113,899
Type Systems and Static Analyses for Programs with Mutable Data
NSERC · 2020 · Principal investigator
$240,000

All 10 grants and awards

Development, Testing, Launch, Analysis Computer to Frontend Experimental Cluster

Co-investigatorNSERC2024Research Tools and Instruments

Principal investigators: Buhr, Peter

Keywords: Compilers; Concurrent programming; Parallel Computing; Performance Evaluation; Programming Languages; Runtime Systems; Type Systems

$32,631

Parallel Client/Server System for Programming Language Research

Co-investigatorNSERC2022Research Tools and Instruments

Principal investigators: Buhr, Peter

$113,899

Type Systems and Static Analyses for Programs with Mutable Data

Principal investigatorNSERC2020Discovery Grants Program - Individual

Principal investigators: Lhotak, Ondrej

Keywords: programming languages; static program analysis; type systems; interprocedural analysis; pointer aliasing; side-effect analysis; object immutability; object-oriented programming languages; functional programming languages; scala programming language

$240,000

Interprocedural program analysis for modern object-oriented languages

Principal investigatorNSERC2014Discovery Grants Program - Individual

Principal investigators: Lhotak, Ondrej

$324,000

Interprocedural program analysis for modern object-oriented languages

Principal investigatorNSERC2014Discovery Grants Program - Accelerator Supplements

Principal investigators: Lhotak, Ondrej

$120,000

High-performance multiprocessor servers for programming languages and information retrieval research groups

Co-investigatorNSERC2011Research Tools and Instruments - Category 1 (<$150,000)

Principal investigators: Buhr, Peter

$74,500

Practical static analysis of object-oriented programs

Principal investigatorNSERC2009Discovery Grants Program - Accelerator Supplements

Principal investigators: Lhotak, Ondrej

$120,000

Practical static analysis of object-oriented programs

Principal investigatorNSERC2009Discovery Grants Program - Individual

Principal investigators: Lhotak, Ondrej

$250,000

Update server and cluster computers for programming languages and information retrieval research groups

Co-investigatorNSERC2006Research Tools and Instruments - Category 1 (<$150,000)

Principal investigators: Buhr, Peter

$92,374

Static analysis of object-oriented and aspect-oriented programs

Principal investigatorNSERC2006Discovery Grants Program - Individual

Principal investigators: Lhotàk, Ondréj

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