Alice Lesser's Email & Phone - Prover Technology

Alice Lesser's Work Experience

Prover Technology

Application Engineer

February 2012 to Present

Stockholm, Sweden

bwin Games AB

Quantitative Analyst

June 2010 to February 2012

Stockholm

Högskolan i Gävle

Lecturer

October 2009 to January 2010

Alice Lesser's Education

Uppsala University

PhD Mathematics with specialization in bioinformatics

2002 to 2007

Stockholms universitet

Fil. mag. Mathematics and Computer Science

1996 to 2001

Alice Lesser's Professional Skills Radar Chart

Based on our findings, Alice Lesser is ...

Visionary

Self-reliant

Deep

What's on Alice Lesser's mind?

Based on our findings, Alice Lesser is ...

56% Left Brained

44% Right Brained

Alice Lesser's Estimated Salary Range

About Alice Lesser's Current Company

Prover Technology

Formal verification and automated generation of code for safety-critical systems, mostly for the railway industry. Formal logic and programming, mostly in Python.

Frequently Asked Questions about Alice Lesser

What company does Alice Lesser work for?

Alice Lesser works for Prover Technology

What is Alice Lesser's role at Prover Technology?

Alice Lesser is Application Engineer

What is Alice Lesser's personal email address?

Alice Lesser's personal email address is al****[email protected]

What is Alice Lesser's business email address?

Alice Lesser's business email address is a*****@lesser.se

What is Alice Lesser's Phone Number?

Alice Lesser's phone () * *** 926

What industry does Alice Lesser work in?

Alice Lesser works in the Research industry.

About Alice Lesser

📖 Summary

Mathematician with a strong interest in concrete applications of mathematics, programming, and problem-solving at all levels. Motivated by a desire to understand structures and form analogies -- sometimes referred to as the synthesist thinking style. Analytically skilled and a quick learner, with strong pedagogical and communicative skills. Specialties:Discrete mathematics, bioinformatics, algorithms, error-correcting codes.Application Engineer @ Formal verification and automated generation of code for safety-critical systems, mostly for the railway industry. Formal logic and programming, mostly in Python. From February 2012 to Present (3 years 9 months) Stockholm, SwedenQuantitative Analyst @ Development and evaluation of mathematical models for sports betting. Implementation in Mathematica and F#. From June 2010 to February 2012 (1 year 9 months) StockholmLecturer @ Teaching courses in Linear Algebra and Multivariable Calculus, From October 2009 to January 2010 (4 months) Engineer @ A project concerning error-correcting codes (ECC). Analysis and implementation in Matlab and C++, in close collaboration with VHDL programmers. From February 2009 to June 2009 (5 months) R&D Consultant @ In-house consultant, working on optimization problems, scientific calculations and image analysis. From August 2008 to November 2008 (4 months) PhD student @ Research on "optimal realization of metric spaces" (roughly, constructing shortest-path networks) with applications in phylogeny (the study of evolutionary relationships) 20% teaching, including full course responsibility for a third-year course in combinatorics, as well as lectures and problem sessions for courses such as algebra, calculus, and discrete structures in bioinformatics. From September 2002 to December 2007 (5 years 4 months) PhD, Mathematics with specialization in bioinformatics @ Uppsala University From 2002 to 2007 Fil. mag., Mathematics and Computer Science @ Stockholms universitet From 1996 to 2001 Alice Lesser is skilled in: Discrete Mathematics, Algorithms, Bioinformatics, Mathematical Modeling, Mathematica, Software Development, Linear Algebra, Graph Theory, Matlab, Computer Science, Python, Programming, LaTeX

Alice Lesser’s Personal Email Address, Business Email, and Phone Number

are curated by ContactOut on this page.

10x your recruitment & sales conversations

Contact over 200M professionals
instantly by email or phone. Reveal
personal & work email addresses, as
well as phone numbers accurately with
our ContactOut Chrome extension.