Mats Kindahl

Current

Senior Software Engineer at Sun Microsystems

Past

Senior Development Engineer at IAR Systems
Ph.D. Student at Uppsala University

Education

Uppsala universitet
Uppsala universitet

Recommended

4 people have recommended Mats

Connections

163 connections

Industry

Computer Software

Mats Kindahl’s Summary

Experienced developer of replication solutions for database systems. Very strong knowledge of replication and scalability issues in database systems.

Very experienced developer of tools for embedded systems. Excellent knowledge of programming C and C++ for embedded systems. Experienced in working with development of large software systems written in C/C++. Experience in teaching efficient programming to embedded systems developer.

Mats Kindahl’s Specialties:

Database Technology, Replication, Compiler Technology, Embedded Systems Software, Formal Methods, Algorithmic Program Analysis, Language and Automata Theory, Computer Science Teaching, C, C++, Perl, Yacc/Lex, Cryptography

Mats Kindahl’s Experience

Senior Software Engineer

Sun Microsystems

(Public Company; JAVA; Information Technology and Services industry)

October 2004 — Present (5 years 4 months)

Working with strategic development for the replication and reengineering of the server code
Senior Development Engineer

IAR Systems

(Public Company; 51-200 employees; Computer Software industry)

January 1998 — September 2004 (6 years 9 months)

Developing C and C++ compilers for embedded systems. Developing C/C++ parsers for source browsing. Teaching customers and employees on efficient programming of embedded systems.
Ph.D. Student

Uppsala University

(Educational Institution; 10,001 or more employees; Higher Education industry)

January 1994 — December 1997 (4 years )

Research in algorithms for automatic verification of infinite-state systems. Teaching program theory, compiler theory, computer architecture, and introductory programming.

Mats Kindahl’s Education

Uppsala universitet

Ph.D. , Computer Science , 1994 — 1997

Worked with development of novel verification algorithms for distributed systems. In addition to algorithm development, the work involved formal specification of protocols various tools.

Dissertation titled "Verification of Infinite-State Systems: Decision Problems and Efficient Algorithms", 1999.

Activities and Societies:

ACM Student Chapter, Update Computer Club, Södermanland-Nerikes Nation
Uppsala universitet

M.Sc. , Computer Science , 1989 — 1993

Thesis title "Implementation of a Reachability Algorithm for Systems with Unreliable Channels", 1993.

Activities and Societies:

Update computer club, Södermanland-Nerikes Nation

Additional Information

Mats Kindahl’s Interests:

cryptology, cryptography, computer security, agile software development, algorithms, mathematics, XML, web services, dancing tango, martial arts, hunting, cooking