TitleSenior Research Fellow
Systems Modelling in SysML; V&V using Formal Methods; Model Based Systems Engineering; Functional Safety; STPA, ISO 26262; Safety-Critical Systems; Connected and Autonomous Vehicles.
Dr. Arun Rao completed his B.Tech. and M.Tech. degrees in Engineering from IIT-Kanpur and IIT-Madras respectively before earning a PhD in Computing Sciences & Engineering from the Software Technology Research Laboratory (now part of Cyber Technology Institute: http://www.dmu.ac.uk/research/research-faculties-and-institutes/technology/cyber-technology-institute/cti-home.aspx) at De Montfort University, Leicester, in 2002.
He has worked in the Software and Automotive Industries in varied fixed-term and permanent roles ranging from Software Development, Test and Maintenance Engineer Roles (at Infosys Technologies Limited, a global leader in technology services and consulting) to Technical Lead in a Specialist R&D and Technology Transfer Lead Engineer Role (at General Motors, a globally recognised automotive company).
His automotive R&D experience includes work at the Division of Safety Critical Systems, OFFIS R&D Institute, Oldenburg, Germany, International Automotive Research Centre, WMG , Coventry and General Motors Technical Centre India, Bangalore, in various (collaborative) projects with automotive as well as other OEMs and suppliers including DaimlerChrysler, QinetiQ and Jaguar Land Rover.
His aerospace R&D (civil and defence) experience includes a role as Rolls-Royce (Sheffield UTC) Research Fellow leading their core aerospace R&D work in Multi-disciplinary Modelling and Control, during 2012-2016, working with teams across Rolls-Royce locations including Derby, Bristol and Indianapolis.
He joined the UK Government's AMSCII funded PICASSOS project to bring his research background and industrial experience in the areas of Industry-strength Formal Verification, Functional Safety, ISO 26262 and MBSE . He is currently employed as a Senior Research Fellow on the Innovate UK funded UK-Connected and Intelligent Transport Environment (CITE) and Smart ADAS V&V Methodology (SAVVY) projects, which are carried out in close collaboration with numerous industrial and research partners.
Apart from technical outputs including prototype software tools , incorporating advanced formal methods based techniques, for use in industrial applications (e.g., automotive electronic software-intensive systems), proof-of-concept systems modelling and associated model integration software for advanced analyses (e.g., aircraft engine performance analysis), he has published various technical reports for industrial partner companies as well as conference and journal papers . He also holds one US patent for work done with colleagues whilst at General Motors R&D.
As part of the overall research and development roles, he has i) developed industry-strength prototype formal verification tools evaluated and used at global automotive and aerospace companies ii) led the research on evaluation and introduction of advanced formal methods based techniques and tools within the Premium Automotive R&D (PARD) programme at Warwick iii) contributed to proposal development , including internal company proposals, EPSRC and Innovate UK, iv) delivered technical presentations/customer keynote/demos to internal company R&D/Engineering divisions and in external events such as MATLAB Expo, Mathworks Virtual Conference and PICASSOS Safety-Critical Systems Event, v) serves as a member/Program Committee (PC) member of professional organisations such as INCOSE, IET, IEEE and SAE and vi) has reviewed / regularly reviews various industry-track and regular conference papers for INCOSE and SAE in the areas of Automotive and Aerospace Systems and Software Engineering.
Additional (voluntary) activities carried out occasionally, within current role, include i) Development and/or delivery of (new) Technical Accreditation Scheme (TAS) modules for Jaguar Land Rover employees in the area of Functional Safety, Formal Methods, Requirements Engineering and STPA, ii) Supervision of MSc. projects in the area of Programme and Project Management, Engineering Business Management, the Systems Engineering Technical Leadership Programme designed for General Electric (GE) - Aviation and the new MSc. in Smart Connected and Autonomous Vehicles & iii) Serving as a Personal Tutor for MSc. tutees in the areas of e-Business Management, Innovation and Entrepreneurship and/or Engineering Business Management.
View All Publications
[ Update your user profile on Ideate https://warwick.tribalhosted.co.uk ]