Matej Urbas's Email Addresses & Phone Numbers

📖 Summary

Software engineer and researcher with a passion for challenging problems (particularly in the areas of distributed systems and verification), research, clean coding, continuous improvement of engineering practices, and investigation into new tools and technologies. That said, I really enjoy digging up answers and sharing my knowledge with colleagues. All in all, I'm definitely a geek all over, as my favourite topics over a beer include programming principles, tools, and software engineering practices in general.Software Engineer @ I am leading the SDK team at Improbable. The SDK team works on Improbable's public APIs, game engine integration layers, and gamelogic algorithms (such as AI, navigation, etc.). I'm currently working on a large distributed, actor-based system in Scala and C#. I'm also responsible for the public API design, managing coding practices, technical direction of our C# layers, managing releases, and maintaining the build system. From May 2013 to Present (2 years 7 months) London, United KingdomPhD Student @ The main result of my research is a heterogeneous logic that is able to extend theorem provers with arbitrary representations (such as diagrams, storage files of arbitrary applications, and other binary data-like images or audio). The heterogeneous logic also enables reasoning about these representations. I created a software framework, called MixR, that implements this heterogeneous logic. MixR is based on the NetBeans Platform and enables tool developers to integrate existing theorem provers and other software into a heterogeneous reasoning system. MixR's sources are available at https://github.com/urbas/mixr From October 2009 to October 2013 (4 years 1 month) Cambridge, United KingdomTechnical Consultant @ Developed the PHP backend, MySQL database and release management for the http://www.secretguru.co.uk/ site. From July 2012 to May 2013 (11 months) Intern @ Software engineering (embedded C code generation, MATLAB). From June 2011 to August 2011 (3 months) Cambridge, United KingdomOwner, Software architect and engineer @ Software architect and engineer (JavaEE, EJB, PgSQL, GlassFish, SOA). From 2009 to 2010 (1 year) Lead software engineer & architect @ Software development and architectural design (C# and MSSQL T-SQL). From December 2007 to December 2009 (2 years 1 month) Software engineer & architect @ Architect and developer of the in-house human resource management system; ongoing occasional contractual work. (MySQL, PHP, C#, Java, MS Excel & Access integration, OpenOffice Impress extensions) From December 2006 to December 2007 (1 year 1 month) Software engineer intern @ Software engineer. Developing PHP extensions in the Moodle e-learning management system. From June 2006 to December 2006 (7 months) PhD, Computer Science @ University of Cambridge From 2009 to 2012 Diploma UNI (master equivalent), Computer Science @ Faculty of electrical engineering and computer science, University of Maribor, Slovenia From 2004 to 2009 Diploma UNI, Mathematics @ Faculty of Mathematics and Natural Sciences, University of Maribor, Slovenia From 2007 to 2009 Druga gimnazija Maribor From 2000 to 2004 Matej Urbas is skilled in: Software Engineering, Java, C#, MySQL, Python, Software Development, Programming, PHP, Software Design, Maven, Visual Studio, Scala, Apache, Computer Science, C