Copenhagen Area, Capital Region, Denmark
PhD Candidate at DTU
Computer Software
Experience
Technical University of Denmark November 2012 - Present
Skills
Railway Interlocking, Programming, ERTMS/ETCS, Model Based Testing, SVN, Formal Specification, CMake, C++, Network Security, Inter/Intranet Routing, Security, JavaScript, F#, Formal Verification, Software Development, Object-Oriented..., Programming Languages, Domain Specific..., Git, Autotools, C#, Algorithms, RT-Tester, Network Intrusion..., Distributed Systems, Bash, Program Analysis, C, .NET, Computer Science, Python, Linux, TCP/IP Networking, Functional Programming