Peter Lindner Email and Phone Number
Aspiring theoretical computer scientist with a strong interest in formal verification.
-
Research Assistant (With A Bachelor'S Degree)Rwth Aachen University
-
Research AssistantParis Lodron Universität Salzburg Jul 2023 - Sep 2024Salzburg, AustriaSimulation of long-range motion models and parallel clustering of social networks. -
TutorParis Lodron Universität Salzburg Mar 2024 - Jul 2024Salzburg, AustriaTutor for the "algorithms and data structures" course covering the design (paradigms) and analysis of algorithms in the domains of:- sorting- search- graphswhile introducing the necessary data structures.
-
TutorParis Lodron Universität Salzburg Oct 2023 - Mar 2024Salzburg, AustriaTutor for the "formal systems" course covering:- propositional and predicate logic- reasoning and basic proof methods- naive set theory (including relations, functions, cardinal numbers)- automata
-
Research & Teaching AssistantParis Lodron Universität Salzburg Mar 2023 - Jun 2023Salzburg, ÖsterreichContributing to the "Computational Systems" and "Efficient Algorithms" groups as a Research/Teaching assistant and supporting the public relations team of the department.
-
Software DeveloperWüstenrot Datenservice Gmbh Oct 2021 - Mar 2023Salzburg, ÖsterreichSwitched to part time to enhance my knowledge of theoretical computer science. -
Software DeveloperWüstenrot Datenservice Gmbh May 2016 - Oct 2021SalzburgDesigned and developed various software systems (backend + frontend) to support and optimize the workflow of insurance related tasks as a part of an agile team.
Peter Lindner Education Details
-
Computer Science
-
1.1; Pass With Distinction
-
1.7
Frequently Asked Questions about Peter Lindner
What company does Peter Lindner work for?
Peter Lindner works for Rwth Aachen University
What is Peter Lindner's role at the current company?
Peter Lindner's current role is Research Assistant (with a bachelor's degree).
What schools did Peter Lindner attend?
Peter Lindner attended Rwth Aachen University, University Of Salzburg, Htbluva Salzburg.
Not the Peter Lindner you were looking for?
-
1lindnerconsult.de -
-
-
Peter Lindner
Munich
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial