Zijn onderzoek richt zich o.a. op kunstmatige intelligentie en agenttechnologie en is (co-)auteur van meer dan 400 publicaties op het gebied van de (theoretische) informatica en kunstmatige intelligentie. Meyer is momenteel ook wetenschappelijk directeur van het Alan Turing Institute Almere dat zich bezighoudt met de toepassing van kunstmatige intelligentie in de gezondheidswetenschappen. Hij studeerde wiskunde met informatica en digitale signaalverwerking aan de Universiteit van Leiden en promoveerde aan de VU Amsterdam op een proefschrift over theoretische informatica.