Preheat the pressure cooker using the "Sauté" button and cook ground beef with salt and black pepper, until brown. Don't forget to break the meat up to small pieces while cooking. When browned, add onions, carrots, celery and sauté another 3-5 minutes, until veggies become tender.
Add the tomatoes, beef stock and bay leaves, secure the lid and cook at high using "Soup" button. Cook for about 35 minutes.
When ready, use quick release to lower the pressure. Open the lid and add pasta. Stir well and cook additionally for 5-6 minutes.
Remove bay leaves, ladle to plates, sprinkle with Parmesan cheese and serve!