Giovanna Kobus Conrado Second-year PhD Student @ Hong Kong University of Science and Technology Advised by Amir Goharshady Funding by HKPFS Here is my CV Research interests: Parameterized algorithms, Graph Theory, Static Analysis, Computational Chemistry, Automata Theory

Education:

• Bachelor's in Computer Science @ Universidade de São Paulo (2017-2021)
• PhD Candidate @ Hong Kong University of Science and Technology (2021-)

Publications:

G.K. Conrado, A.K. Goharshady, C.K. Lam
The Bounded Pathwidth of Control-Flow Graphs
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2023

G.K. Conrado, A.K. Goharshady, K. Kochekov, Y.C. Tsai, A.K. Zaher
Exploiting the Sparseness of Control-flow and Call Graphs for Efficient and On-demand Algebraic Program Analysis
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2023

Preprints:

G.K. Conrado, A.K. Goharshady, H.J. Motwani, S. Novozhilov
Parameterized Algorithms for Topological Indices in Chemistry

G.K. Conrado, A.K. Goharshady, P. Hudec, Pingjiang Li, H.J. Motwani
Faster Treewidth-based Approximations for Wiener Index

Contact: