Justin Hsu
Assistant Professor
Cornell University
United States
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Indian students reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Quantum Physics
Mathematical Logic
Proof Theory
Programming Language
Quantum Communication
Formal Methods
Quantum Algorithms
Ask ApplyKite AI
Recent Grants
Grant: Close
SaTC: CORE: Medium: SPIPS: Security and Privacy in Programmable Switches
Open Date: 2020-10-01
Close Date: 2024-09-30
Grant: Close
CAREER: SHF: Compositional Analysis of Randomized Algorithms
Open Date: 2020-06-15
Close Date: 2025-05-31
Grant: Close
Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2020 (PLMW@POPL)
Open Date: 2019-10-01
Close Date: 2020-06-30
Articles6
Year:
2020
How do Indian students reach out?
Sign in for free to see their profile details and contact information.