Praveen Thomas Methrayil Varghese
Software Engineer | Computer Science PhD | Building safe, performant & scalable systems
Education
• university of liverpool
• university of leicester
• bits pilani birla institute of technology and science
Companies
• clear
• the university of nottingham
• kiel university cau
• university of liverpool
Experience
8.1 Years
Experience
Skills
Boost your visibility and stand out to employers with referrals from your LinkedIn connections.
Algorithms
Automata Theory
C++
Distributed Systems
dotNET
F#
Formal Methods
Formal Verification
Functional Programming
Game Theory
Git
Haskell
Linux
Logic
Logic and Reasoning
Model Checking
Reactive Synthesis
Research
Research Scientist
Rust
Software Engineer
Contact Details
Email (Verified)
thoXXXXXXXXXXXXXXXXXXXXomMobile Number
+91XXXXXXXXXXEducation
university of liverpool
Doctor of Philosophy (Ph.D.)
2011 - 2015
university of leicester
Master’s Degree
2010 - 2011
bits pilani birla institute of technology and science
Bachelor’s Degree
2004 - 2008
Find anyone’s contact and let Weekday reach out to them on your behalf
Start hiring nowStop manually filling job applications. Use AI to auto-apply to jobs
Look for jobs now