Franz Weitl Email & Phone Number
@uni-passau.de
LinkedIn matched
Who is Franz Weitl? Overview
A concise factual answer block for searchers comparing this professional profile.
Franz Weitl is listed as Section Manager AI Solutions at ABIST Co., Ltd. at ABIST Co Ltd, a company with 3 employees, based in Chiba, Japan, Japan. AeroLeads shows a work email signal at uni-passau.de and a matched LinkedIn profile for Franz Weitl.
Franz Weitl previously worked as Section Manager AI Solutions at Abist Co Ltd and Section Manager AI Solutions at Abist Co., Ltd.. Franz Weitl holds Doctor Of Philosophy (Ph.D.), Information Management, Formal Methods, Semantic Web, Document Verification, 1.0 (Magna Cum Laude) from Universität Passau.
Email format at ABIST Co Ltd
This section adds company-level context without repeating Franz Weitl's masked contact details.
AeroLeads found 1 current-domain work email signal for Franz Weitl. Compare company email patterns before reaching out.
About Franz Weitl
As a consultant, software researcher and developer, I am particularly interested in artificial intelligence, IoT, and cloud computing. I have a strong background in formal methods, software engineering and web application development. Currently, I am developing AI solutions for the manufacturing industry, including advanced production planning and optimization, augmented reality, AutoML, and anomaly detection.I have been using several web application frameworks such as Play, Spark, Angular and I am experienced in deploying and managing services on AWS. I am fluent in German (mother tongue), English (TOEIC score 990), and Japanese (JLPT N1).
Listed skills include Java, C++, Java Pathfinder, Junit, and 17 others.
Franz Weitl's current company
Company context helps verify the profile and gives searchers a useful next step.
Franz Weitl work experience
A career timeline built from the work history available for this profile.
Section Manager Ai Solutions
CurrentI am responsible for the development of web services for the application of AI in industry. Currently I am developing a software for the automated generation of anomaly detection services. I am also active in market research and customer acquisition, making use of the great experience of the MIT Bootcamp in March.
Section Manager Cloud Computing
CurrentI have been responsible for the development and operation of a cloud application for robot management.I have also contributed advanced configuration features to the firmware of a service robot for visitor management.Applied technologies include Amazon compute, database, and monitoring services (AWS), web frameworks such as Play, Spark, Angular, and.
Specially Appointed Researcher (Postdoc)
Software model checking and runtime verification of distributed systems and cloud middlewarejpf-net-iocache v2, an extension of Java Pathfinder for network applications. Selected publications (please connect to me to see the full list of publications and projects):Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata.
Specially Appointed Researcher (Postdoc)
Methods for modelling and formal analysis of hybrid "cyber-physical" systems
Daad Research Fellow (Postdoc)
Methods for counter-example guided fault analysis of structured documents and object-oriented software, based on model checking, description logics, and satisfiability modulo theories (SMT).
Senior Teaching And Research Assistant (Akademischer Rat)
DFG project "Verdikt" (verification of technical documents)Assisting undergraduate computer science courses
Teaching And Research Assistant (Lehrstuhlmitarbeiter Zur Promotion)
Development of methods for checking the semantic consistency of semi-structureddocuments, using XML, RDF, OWL, and temporal description logics.Assisting the teaching of undergraduate courses in computer science (internet computing, computer architecture, algorithms and data structures, data modelling, etc.)
Research Assistant (Wissenschaftlicher Mitarbeiter)
National joint project WWR (knowledge factory of computing systems): Development of web-based learning content for university courses in computer architecture.Founded by the German Federal Ministry for Education and Research
Colleagues at ABIST Co Ltd
Other employees you can reach at abist.co.jp. View company contacts for 3 employees →
Franz Weitl education
Doctor Of Philosophy (Ph.D.), Information Management, Formal Methods, Semantic Web, Document Verification, 1.0 (Magna Cum Laude)
Diplom Informatiker (Dipl. Inf.), Equivalent Ot Master'S Degree, Mathematics And Computer Science, 1.1
Erasmus Research Internship
Erasmus Exchange Year, Undergraduate Courses In Computer Science
Mathematisch-Technischer Assistent (Mathematical Technical Assistant), Applied Mathematics (Analysis, Alegbra, Numerics...) And Computer Science (Programming, Databases), 1.5
High School, Mathematics, Physics, 1.6
Frequently asked questions about Franz Weitl
Quick answers generated from the profile data available on this page.
What company does Franz Weitl work for?
Franz Weitl works for ABIST Co Ltd.
What is Franz Weitl's role at ABIST Co Ltd?
Franz Weitl is listed as Section Manager AI Solutions at ABIST Co., Ltd. at ABIST Co Ltd.
What is Franz Weitl's email address?
AeroLeads has found 1 work email signal at @uni-passau.de for Franz Weitl at ABIST Co Ltd.
Where is Franz Weitl based?
Franz Weitl is based in Chiba, Japan, Japan while working with ABIST Co Ltd.
What companies has Franz Weitl worked for?
Franz Weitl has worked for Abist Co Ltd, Abist Co., Ltd., Abist Inc, Chiba University, and National Institute Of Informatics.
Who are Franz Weitl's colleagues at ABIST Co Ltd?
Franz Weitl's colleagues at ABIST Co Ltd include Abist Aisolution, Khairul ‘Aizat, and Le Thao.
How can I contact Franz Weitl?
You can use AeroLeads to view verified contact signals for Franz Weitl at ABIST Co Ltd, including work email, phone, and LinkedIn data when available.
What schools did Franz Weitl attend?
Franz Weitl holds Doctor Of Philosophy (Ph.D.), Information Management, Formal Methods, Semantic Web, Document Verification, 1.0 (Magna Cum Laude) from Universität Passau.
What skills is Franz Weitl known for?
Franz Weitl is listed with skills including Java, C++, Java Pathfinder, Junit, Software Testing, Software Verification, Model Checking, and Xml.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialCheck these profiles if this is not the Franz Weitl you were looking for.
View similar profiles