Hopp til globalmeny Hopp til hovedmeny Hopp til innhold Hopp til søk

Adrian Rutle

Førsteamanuensis, Institutt for data- og realfag

Master of Science (Hovedfag) in Bioinformatics, University of Bergen, 2004 PhD in Informatics, University of Bergen, 2010 Postdoc at StFX University, NS, Canada, Formal Verification and process modelling, 2011 Associate Professor at Aalesund University College, 2012-2014 Associate Professor at Bergen University College, 2014-present

Arbeids- og kompetanseområde

Software Engineering (Programvareutvikling), Computer Science (Informatikk), Mode-driven Software Engineering (Modelldrevet programvareutvikling), Enterprise Applications, Diagram Predicate Framework, Formal Specifications (Formelle spesifikasjoner), Verification and Model Checking (Verifikasjon og modellsjekking).

Underviser i

Advanced Software Technologies (MOD50)

Forskar på

Model-driven Software Engineering Formal Verification Software Modeling

Se alle publikasjoner og prosjekter i CRIStin