Miguel is the creator of Gnome (a desktop environment for GNU/Linux), Mono (a cross platform open source .NET framework), and Xamarin (a platform to build iOS, Android, Mac, and Windows apps in C# and .NET) which was acquired by Microsoft in February 2016.