Ch Falak Sher Vira
About
Ch Falak Sher Vira is from Saddle River, New Jersey, United States. Ch. Falak Sher is currently Director at DGB Technologies, located in Wyckoff, NJ. In Ch. Falak Sher's previous role as a Chief Executive Officer at Invent Forces Private Limited, Ch. Falak Sher worked in Lahore, Pakistan until Sep 2019. Prior to joining Invent Forces Private Limited, Ch. Falak Sher was a Assistant Professor | Co-founder Blockchain Lab at Information Technology University and held the position of Assistant Professor | Co-founder Blockchain Lab at Lahore. Prior to that, Ch. Falak Sher was a Postdoctoral Researcher at Forties GmbH, based in Munich Area, Germany from Jun 2015 to Dec 2015. Ch. Falak Sher started working as Research Associate at RWTH Aachen University in Jun 2010. From Nov 2006 to Mar 2008, Ch. Falak Sher was Business Analyst at Kabot International (Pvt) LTD. Prior to that, Ch. Falak Sher was a Project Lead at Kabot International (Pvt) LTD from Mar 2006 to Nov 2006. Ch. Falak Sher started working as Research Associate at University of Management and Technology in Pakistan in Mar 2004.
Ch Falak Sher Vira's contact information is available for free on finalscout.com, a web-based professional networking database with more than 500 million business contacts and 200 million company profiles.
Ch Falak Sher Vira's current jobs
-- Product manager of SAFEST: a probabilistic risk assessment toolchain (www.safest.dgbtek.com). -- Product manager of Hazardhive: a bowtie analysis tool (www.hazardhive.dgbtek.com) -- Product manager of StormGUI: a graphical interface for Storm probabilistic model-checker -- Product manager of SysML-DFT translator: a tool for automatic generation of dynamic fault trees (DFTs), from SysML v2 models. -- Manager projects related to AI/ML, NLP
Ch Falak Sher Vira's past jobs
-- Founded Software Modelling and Verification Group (SMVG) -- Co-founded Blockchain Lab under National Centre for Cyber Security (http://www.nccs.pk) with Rs 80 million funding from Higher Education Commission (www.blockchain.itu.edu.pk)
-- Formal verification of APPS for open cyber physical systems build in C using QPC framework on FreeRTOS OS. -- Formal modelling and verification of distributed systems of critical importance using compositional modelling and verification, e.g., smart energy grid, etc.
-- Quantitative analysis of probabilistic systems, e.g., communication and multimedia protocols, randomised distributed algorithms, security protocols, biological systems, etc., -- Dependability -- reliability, maintainability, safety, availability, confidentiality, and integrity -- analysis of embedded (hardware and software) systems. -- Qualitative analysis of software systems. -- Modeling Formalisms: Petri nets, Stochastic Petri nets (SPN), Generalised Stochastic Petri nets (GSPN), Discrete-time Markov chains (DTMC), Continuous-time Markov chains (CTMC), Probabilistic automata (PA), Markov decision processes (MDP), Markov automata (MA), Timed automata, Probabilistic timed automata, Hybrid automata, -- Property Specification Languages: Linear Temporal Logic (LTL), Computational Tree Logic (CTL), Probabilistic CTL (PCTL) and Continuous Stochastic Logic (CSL) with rewards, Probabilistic LTL (PLTL) and PCTL*. -- Formal Tools: SPIN, nuSMV, UPPAAL, PRISM, STORM, JavaPathFinder
-- Analysis, design and development of a Hospital Information System (HIS) for USA industry, -- Requirement gathering of scheduling, clinical procedures, radiology and referral/pre-authorization modules of HIS. -- Analysis of medical imaging module and integration with radiology module