Please complete the CAPTCHA to continue
@tutor.com
✓
LinkedIn matched
A concise factual answer block for searchers comparing this professional profile.
Tim Lyon is listed as Research Scientist at Computational Logic Group (TU Dresden), based in Shingle Springs, California, United States. AeroLeads shows a work email signal at tutor.com and a matched LinkedIn profile for Tim Lyon.
Tim Lyon previously worked as Doctoral Researcher at Technische Universität Wien and Online Mathematics and Logic Tutor at Tutor.Com. Tim Lyon holds Doctor Of Philosophy - Phd, Computational Logic, Austrian Gpa: 1,0 (Equivalent To "A+" In Us Education System) from Technische Universität Wien.
This section adds company-level context without repeating Tim Lyon's masked contact details.
AeroLeads found 2 current-domain work email signals for Tim Lyon. Compare company email patterns before reaching out.
Tim Lyon is a Research Scientist at Computational Logic Group (TU Dresden). He possess expertise in microsoft office, customer service, philosophy, mathematics, university teaching and 28 more skills. He is proficient in German.
Listed skills include Microsoft Office, Customer Service, Philosophy, Mathematics, and 29 others.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
Dresden, Saxony, Germany
I currently work within the ERC project DeciGUT in the Computational Logic group at Technische Universität Dresden, and my research interests concern the construction and application of proof systems for fragments of first-order logic, non-classical logics, and modal logics.
Vienna, Austria
I work on the TICAMORE (Translating and dIscovering CAlculi for MOdal and RElated logics) project with my PhD adviser Prof. Agata Ciabattoni as a PhD student in the Doctoral College on Logical Methods in Computer Science. Our work focused on developing and applying effective translations between proof systems in order to solve problems within the domain of mathematical logic and theoretical computer science.
• Employed as an online tutor for both high school and university level students in algebra, trigonometry, calculus, multi-variable calculus, linear algebra, and first-order logic• Duties also include designing examinations to determine the qualifications of potential employees
Munich, Germany
• Employed by Professor Stephan Hartmann through LMU Munich to compile the data for the Philosophy of Science archives and manage the department's OpenAccess online database.• Employed by Professor Hannes Leitgeb through LMU Munich to read through his forthcoming book, correct errors and mistakes, as well as construct the book's index• Employed by Dr. Catherine Herfeld through LMU Munich to transcribe economic audio interviews and assist with her upcoming book on rational choice theory
Munich Area, Germany
• Called potential clients and discussed options for requested dental procedures• Organized client trips to internationally accredited partner clinics in countries such as Thailand and Hungary• Ensured customer satisfaction and implemented company referral program to increase customer base
Folsom, California
• Sold power tools to customers, made keys, and re-built locks• Provided customer service and assisted customers with choosing tools for both business and private projects• Stocked shelves, drove forklift to assist in stocking high shelves, and organized aisles
Santa Cruz, California
• Used Quicken Software to track income and expenses• Budgeted business expenses, produced financial reports, set up Electronic Fund Transfers, reconciled bank statements, and assisted in tax preparation
Santa Cruz, California
• Hired by the UC Santa Cruz Mathematical department to grade examinations for various classes: College Algebra for Calculus, Pre-calculus, Calculus with Applications, and Calculus for Science, Engineering, and Mathematics.
Santa Cruz, California
• Tutored various topics: Astronomy and Astrophysics, Precalculus, First-order Logic, Introductory Philosophy• Hired as a teaching assistant for Nandini Bhattacharya at UC Santa Cruz to organize and teach classes four days per week, proctor examinations, evaluate student performance, write quizzes, and aid in grading examinations• Mentored first-order logic and ethical theory tutors, as well as organized and taught examination review sessions
For more information, see my PhD Webpage: https://logic-cs.at/phd/students/timothy-lyon/
Activities and Societies: Kappa Sigma Fraternity, Sigma Phi Zeta Multi-Cultural Fraternity
Activities and Societies: Sigma Phi Zeta Multi-Cultural Fraternity, Kappa Sigma Fraternity
Activities and Societies: Sigma Phi Zeta Multi-Cultural Fraternity, Kappa Sigma Fraternity
Quick answers generated from the profile data available on this page.
Tim Lyon works for Computational Logic Group (TU Dresden).
Tim Lyon is listed as Research Scientist at Computational Logic Group (TU Dresden).
AeroLeads has found 2 work email signals at @tutor.com for Tim Lyon at Computational Logic Group (TU Dresden).
Tim Lyon is based in Shingle Springs, California, United States while working with Computational Logic Group (TU Dresden).
Tim Lyon has worked for Computational Logic Group (Tu Dresden), Technische Universität Wien, Tutor.Com, Ludwig-Maximilians-Universität (Lmu) München, and Caremondo Gmbh.
You can use AeroLeads to view verified contact signals for Tim Lyon at Computational Logic Group (TU Dresden), including work email, phone, and LinkedIn data when available.
Tim Lyon holds Doctor Of Philosophy - Phd, Computational Logic, Austrian Gpa: 1,0 (Equivalent To "A+" In Us Education System) from Technische Universität Wien.
Tim Lyon is listed with skills including Microsoft Office, Customer Service, Philosophy, Mathematics, University Teaching, Microsoft Excel, Political Science, and Team Leadership.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contactsCheck these profiles if this is not the Tim Lyon you were looking for.
