Pedro Miguel Justo Teixeira is a Partner Software Developer in the Microsoft CoreOS team, specializing in new platform bring-up, ABI and Exception Model, and mixed-architecture compatibility layers. Known as the "Itanium Guy" in some circles, Pedro has a background in Electrical Engineering and extensive experience as a kernel developer. This unique combination allows Pedro to effectively bridge the gap between hardware and software architecture, as well as micro-architecture design. Pedro is also a member of Arm’s Technical Advisory Board.