Ajay Krishna
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Ajay Krishna
- Bis heute 8 Jahre und 4 Monate, seit Feb. 2017
Master Thesis
INRIA
Working on process algebra encoding of unbalanced workflows
- 6 Monate, Feb. 2016 - Juli 2016
Intern
INRIA
Model Transformation and Component Integration for VBPMN Framework. VBPMN supports formal modelling and automated analysis of business processes using formal verification tools. More info : https://pascalpoizat.github.io/vbpmn/
Individual contributor, worked with the Judicial Systems Group (JSG), the team responsible for software applications needed to editorially enhance Judicial content (Westlaw®, Findlaw®)
- 6 Monate, Jan. 2010 - Juni 2010
Technology Intern
IfConnect
Development of an efficient autosuggest module for an ASP .NET product
Ausbildung von Ajay Krishna
- 11 Monate, Sep. 2016 - Juli 2017
Informatics
ENSIMAG
Coursework includes: analysis and verification of sequential programs, modeling and analysis of concurrent programs, performance and quantitative properties, component based architecture and software security. More info: http://hecs.inria.fr
- 11 Monate, Sep. 2015 - Juli 2016
Informatics
Université Joseph Fourier de Grenoble I
- 4 Jahre, Sep. 2006 - Aug. 2010
Computer Science
Visvesvaraya Technological University
Bachelor of Engineering
Sprachen
Englisch
Fließend
Französisch
Grundlagen
Spanisch
Gut
Kannada
-
Hindi
-
Tulu
-
Malayalam
-
XING Mitglieder mit ähnlichen Profilangaben
XING – Das Jobs-Netzwerk
Über eine Million Jobs
Entdecke mit XING genau den Job, der wirklich zu Dir passt.
Persönliche Job-Angebote
Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.
22 Mio. Mitglieder
Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.
Kostenlos profitieren
Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.