Personal information

Software Engineering, Formal Method, Formal Verification, OOP
Australia

Activities

Employment (5)

Australian National University: Canberrra, ACT, AU

2019-06-03 to present | Lecturer (Computer Science)
Employment
Source: Self-asserted source
Victor Rivera

Innopolis University: Innopolis, Republic of Tatartstan, RU

2016-08-01 to 2019-06-01 | Assistant Professor (Faculty Computer Science and Engineer)
Employment
Source: Self-asserted source
Victor Rivera

Innopolis University: innopolis, Tatartstan, RU

2015-04-01 to 2016-07-30 | Postdoc (Faculty of Computer Science and Engineering)
Employment
Source: Self-asserted source
Victor Rivera

Universidade da Madeira Madeira Interactive Technologies Institute: Funchal, Madeira, PT

2011-04-01 to 2015-02-28 | Researcher
Employment
Source: Self-asserted source
Victor Rivera

Pontificia Universidad Javeriana - Cali: Cali, Valle, CO

2009-06 to 2011-01 | Lecturer and Researcher (Engineering Faculty)
Employment
Source: Self-asserted source
Victor Rivera

Education and qualifications (3)

University of Madeira: Funchal, PT

2011-10 to 2014-11 | PhD in Informatics (Engineering)
Education
Source: Self-asserted source
Victor Rivera

Pontificia Universidad Javeriana - Cali: Cali, CO

2009-06 to 2011-06 | Master in Software Engineering and Computer Science (Engineering School)
Education
Source: Self-asserted source
Victor Rivera

Pontificia Universidad Javeriana - Cali: Cali, CO

2003-06 to 2009-06 | Software Engineering and Computer Science (Software Engineering)
Education
Source: Self-asserted source
Victor Rivera