Shiraj Arora
Postdoctoral Researcher @Department Of Computer Science, Aalborg University
Kharagpur, WB, IN
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Present
Postdoctoral Researcher @Department Of Computer Science, Aalborg University
View department →
EDUCATION
2004 — 2009
Alwar Public School, Alwar
12th, Non Medical
2009 — 2013
Shri Mata Vaishno Devi University
Bachelor’s Degree, B.Tech - Computer Science & Engineering
2014 — 2020
Indian Institute of Technology Hyderabad
Doctor of Philosophy (Ph.D.), Computer Science and Engineering
SKILLS
ProgrammingWeb DevelopmentLinux System AdministrationJavaC++CSql ServerHtmlMysqlVisual BasicAndroidCore JavaData StructuresAndroid DevelopmentMicrosoft Sql ServerFormal MethodsModel CheckingProbabilistic ModelsFormal Verification
ABOUT SHIRAJ ARORA
Researcher in Formal Verification
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.