
Giovanna Kobus ConradoFourth Year PhD Student @ Hong Kong University of Science and Technology Advised by Amir Goharshady and Pedro Sander Funding by HKPFS Here is my (probably not updated)CV Research interests: Parameterized algorithms, Graph Theory, Static Analysis, Computational Chemistry, Automata Theory 
G.K. Conrado, A.H. Kjelstrom, A. Pavlogiannis, J. van de Pol
Program Analysis via Multiple Context Free Language
Reachability
POPL 2025
G.K. Conrado, A.K. Goharshady, K.N. Long Nguyen
PYRAMID: A Protocol for Private and Trustless
Multilevel Marketing on the Blockchain
IEEE BCCA'2024
G.K. Conrado, A. Pavlogiannis
A Better Approximation for Interleaved Dyck Reachability
SOAP 2024
G.K. Conrado, A.K. Goharshady, P. Hudec, Pingjiang Li, H.J. Motwani
Faster Treewidthbased Approximations for Wiener Index
Symposium on Experimental Algorithms (SEA) 2024
G.K. Conrado, A.K. Goharshady, C.K. Lam
The Bounded Pathwidth of ControlFlow Graphs
ACM Conference on ObjectOriented 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 Controlflow and Call Graphs for Efficient and Ondemand Algebraic Program Analysis
ACM Conference on ObjectOriented Programming, Systems, Languages, and Applications, OOPSLA 2023
G.K. Conrado, A.K. Goharshady, H.J. Motwani, S. Novozhilov
Parameterized Algorithms for Topological Indices in Chemistry