Personal information
Software Engineering, Formal Method, Formal Verification, OOP
Australia
Activities
Employment (5)
2019-06-03
to
present
|
Lecturer
(Computer Science)
Employment
Source:
Victor Rivera
2016-08-01
to
2019-06-01
|
Assistant Professor
(Faculty Computer Science and Engineer)
Employment
Source:
Victor Rivera
2015-04-01
to
2016-07-30
|
Postdoc
(Faculty of Computer Science and Engineering)
Employment
Source:
Victor Rivera
2011-04-01
to
2015-02-28
|
Researcher
Employment
Source:
Victor Rivera
2009-06
to
2011-01
|
Lecturer and Researcher
(Engineering Faculty)
Employment
Source:
Victor Rivera
Education and qualifications (3)
2011-10
to
2014-11
|
PhD in Informatics
(Engineering)
Education
Source:
Victor Rivera
2009-06
to
2011-06
|
Master in Software Engineering and Computer Science
(Engineering School)
Education
Source:
Victor Rivera
2003-06
to
2009-06
|
Software Engineering and Computer Science
(Software Engineering)
Education
Source:
Victor Rivera