Prabhat Kumar Jha Email & Phone Number
Who is Prabhat Kumar Jha? Overview
A concise factual answer block for searchers comparing this professional profile.
Prabhat Kumar Jha is listed as Doctoral Student at Chalmers University of Technology, a with 4843 employees, based in Gothenburg, Västra Götaland County, Sweden. AeroLeads shows a matched LinkedIn profile for Prabhat Kumar Jha.
Prabhat Kumar Jha previously worked as Doctoral Student at Wasp – Wallenberg Ai, Autonomous Systems And Software Program and Research Scholar at Tata Institute Of Fundamental Research, Mumbai. Prabhat Kumar Jha holds Doctor Of Philosophy - Phd, Computer Science from Chalmers University Of Technology.
Email format at Chalmers University of Technology
This section adds company-level context without repeating Prabhat Kumar Jha's masked contact details.
Review company-level records connected to Prabhat Kumar Jha before choosing the right outreach path.
About Prabhat Kumar Jha
A doctoral student, interested in applications of logical methods in formalisation, verification and synthesis of computational systems.Current interests include two player games played on graphs with omega-regular objectives.
Prabhat Kumar Jha's current company
Company context helps verify the profile and gives searchers a useful next step.
Prabhat Kumar Jha work experience
A career timeline built from the work history available for this profile.
Doctoral Student
My project is about automated synthesis of programs. This is closely related to non-classical (fixed-point) logics, control of discrete-events systems, and algorithmic game theory.This project is funded by WASP-Sweden.As a component of departmental duties, I work as a teaching assistant for many courses such as "Mathematical Modelling and Problem Solving", "Programming Language Technology" and "Testing, Debugging and Verification".Apart from academic roles, I am a representative for the CS division at the PhD council of the department of computer science and engineering. Also, I am a representative of the CSE department to the GS doctoral guild.
Doctoral Student
I am officially employed by Chalmers but my research and studies are funded by WASP.My project is about designing efficient algorithms for reactive synthesis of controllers for the autonomous systems. I am also leader of the WASP clusters on Safety and Robustness of Autonomous Systems.
Research Scholar
I worked on algorithmic verification of discrete-time linear dynamical systems.
Prabhat Kumar Jha education
Doctor Of Philosophy - Phd, Computer Science
Master Of Science - Ms, Computer And System Sciences
Bachelor Of Science (B.Sc.), Mathematics And Computer Science
Dropped Out, Information Technology
Frequently asked questions about Prabhat Kumar Jha
Quick answers generated from the profile data available on this page.
What company does Prabhat Kumar Jha work for?
Prabhat Kumar Jha works for Chalmers University of Technology.
What is Prabhat Kumar Jha's role at Chalmers University of Technology?
Prabhat Kumar Jha is listed as Doctoral Student at Chalmers University of Technology.
Where is Prabhat Kumar Jha based?
Prabhat Kumar Jha is based in Gothenburg, Västra Götaland County, Sweden while working with Chalmers University of Technology.
What companies has Prabhat Kumar Jha worked for?
Prabhat Kumar Jha has worked for Chalmers University Of Technology, Wasp – Wallenberg Ai, Autonomous Systems And Software Program, and Tata Institute Of Fundamental Research, Mumbai.
How can I contact Prabhat Kumar Jha?
You can use AeroLeads to view verified contact signals for Prabhat Kumar Jha at Chalmers University of Technology, including work email, phone, and LinkedIn data when available.
What schools did Prabhat Kumar Jha attend?
Prabhat Kumar Jha holds Doctor Of Philosophy - Phd, Computer Science from Chalmers University Of Technology.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialCheck these profiles if this is not the Prabhat Kumar Jha you were looking for.
View similar profiles