Siddharth Bhaskar

Siddharth Bhaskar is an Assistant Professor in the Department of Mathematics and Computer Science at the University of Southern Denmark. His research lies at the intersection of theoretical computer science and mathematical logic, with a focus on programming language foundations and formal structures.

His research interests include structured programming, imperative languages, graph traversal algorithms, and the application of category theory (particularly functors) to computation. These areas reflect a deep engagement with the mathematical underpinnings of programming and algorithmic processes.

The two recent publications show a consistent trend in formalizing programming concepts through mathematical structures—particularly using universal constructions from category theory and extending structured programming into transfinite domains. This indicates a research trajectory grounded in computability, logic, and the semantics of programming languages.

• No scientific awards mentioned in the provided text.

Siddharth Bhaskar has no listed advisees or grant information in the available data. However, his peer-reviewed publications in high-quality conference proceedings (CiE and MFCS) suggest active research supervision and potential involvement in collaborative projects, though specific details are not disclosed.

There is no mention of specific laboratories, research groups, or teams in the provided text. However, his affiliation with the Department of Mathematics and Computer Science and his research profile suggest potential collaboration within formal methods or logic research circles at the University of Southern Denmark.