Search

Bart Smet Phones & Addresses

  • Kirkland, WA
  • s
  • 10700 NE 4Th St #428, Bellevue, WA 98004

Resumes

Resumes

Bart Smet Photo 1

Author And Writer

View page
Location:
San Francisco, CA
Industry:
Computer Software
Work:
Microsoft Corporation since Jan 2010
Software Development Engineer 2

Microsoft Corporation Sep 2009 - Jan 2010
Software Development Engineer 2

Microsoft Corporation Oct 2007 - Aug 2009
Software Development Engineer

Bart De Smet .NET Oct 2003 - Sep 2007
MVP Visual C#

ICORDA 2004 - 2005
Thesis Student
Education:
Universiteit Gent 2005 - 2007
MSc, Civil Engineering - Computer ScienceGraduated in June 2007 with a degree of magna cum laude; final year's dissertation on "Dynamic and generic workflows in .NET".
Universiteit Gent 2003 - 2005
Master, InformaticsGraduated in June 2005 with a degree of summa cum laude (with highest honor); final year's dissertation on "Enterprise application design in .NET".
Universiteit Gent 2001 - 2003
Bachelor, Informatics
Skills:
Software Engineering
Public Speaking
Technical Writing
C#
.Net
Programming
Linq
Computer Science
Tpl
C++
Software Development
Technical Presentations
Rx
Ado.net
Web Services
Java
Wpf
Visual Studio
Microsoft Sql Server
Sql
Cloud Computing
Windows Azure
Distributed Systems
Architecture
Visual Basic
Wcf
Perl
Python
C
Databases
Software Project Management
Windows Phone
Tfs
Design Patterns
Object Oriented Design
Scalability
Msil
Windbg
Patents
Interests:
New Technology
Education
Science and Technology
(Watching) Snooker
Mathematics and Engineering Disciplines
Languages:
English
Dutch
French
German
Latin
Bart Smet Photo 2

Bart Smet

View page
Bart Smet Photo 3

Bart Smet

View page
Bart Smet Photo 4

Bart Smet

View page

Publications

Isbn (Books And Publications)

Jeugdbeschermingsrecht in Kort Bestek

View page
Author

Bart de Smet

ISBN #

9050955258

Deskundigenonderzoek in Strafzaken

View page
Author

Bart de Smet

ISBN #

9055839108

Het Recht Op Behoorlijke Rechtsbedeling: Een Overzicht Op Basis Van Artikel 6 EVRM

View page
Author

Bart de Smet

ISBN #

9062158404

Us Patents

Asynchronous Programming Model Mapping

View page
US Patent:
8539439, Sep 17, 2013
Filed:
Oct 13, 2011
Appl. No.:
13/273177
Inventors:
Henricus Johannes Maria Meijer - Mercer Island WA, US
John Wesley Dyer - Monroe WA, US
Lucian Wischik - Seattle WA, US
Bart De Smet - Bellevue WA, US
Jeffrey Van Gogh - Redmond WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
G06F 17/00
US Classification:
717104, 707608
Abstract:
Mapping is performed between operations of an abstract asynchronous programming model and a concrete asynchronous programming model. In other words, differences between asynchronous programming models are bridged to enable interaction.

User Interface Localization Conflict Indication

View page
US Patent:
20090327925, Dec 31, 2009
Filed:
Jun 27, 2008
Appl. No.:
12/147575
Inventors:
Bart De Smet - Bellevue WA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06F 3/048
US Classification:
715762, 715700
Abstract:
A method for indicating localization conflicts. The method includes receiving information about a first graphical user interface element and receiving information about a second graphical user interface element. Localization data associated with the first graphical user interface element and the second graphical user interface element is accessed. A determination is made as to if there is a conflict between the first graphical user interface element and the second graphical user interface element. An indication of the results of the determining of whether there is a conflict between the first graphical user interface element and the second graphical user interface element is displayed.

Data Representation For Push-Based Queries

View page
US Patent:
20120072411, Mar 22, 2012
Filed:
Sep 16, 2010
Appl. No.:
12/884158
Inventors:
Bart De Smet - Bellevue WA, US
Henricus Johannes Maria Meijer - Mercer Island WA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06F 17/30
US Classification:
707713, 707769, 707759, 707E17017
Abstract:
A query over one or more push-based data sources is transformed into a data representation of the query. The data representation can subsequently be analyzed, optimized, and remoted, among other things. For example, the data representation can be utilized to generate code for an out-of-process execution engine. Additionally, the data representation can be employed with respect to conversions to and from various types and representations of data.

Monadic Type Preservation For Query Operators

View page
US Patent:
20120072442, Mar 22, 2012
Filed:
Sep 22, 2010
Appl. No.:
12/887588
Inventors:
Bart De Smet - Bellevue WA, US
Henricus Johannes Maria Meijer - Mercer Island WA, US
Jeffrey Van Gogh - Redmond WA, US
John Wesley Dyer - Monroe WA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06F 17/30
US Classification:
707769, 707E17069
Abstract:
Monadic types are preserved for query operators to further query operator compositionality utilizing operators defined over a monad. Query operators that are defined over a monad and are suited to return non-monadic types are constructed or altered to return a monadic type. For instance, aggregate query operators defined over a local or remote sequence monad can be generated that return a monadic type.

Optimized Lazy Query Operators

View page
US Patent:
20120078878, Mar 29, 2012
Filed:
Sep 28, 2010
Appl. No.:
12/891951
Inventors:
Bart De Smet - Bellevue WA, US
Henricus Johannes Maria Meijer - Mercer Island WA, US
Jeffrey Van Gogh - Redmond WA, US
John Wesley Dyer - Monroe WA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06F 17/30
US Classification:
707713, 707769, 707737, 707E17017
Abstract:
Query operators such as those that perform grouping functionality can be implemented to execute lazily rather than eagerly. For instance, one or more groups can be created and/or populated lazily with one or more elements from a source sequence in response to a request for a group or element of a group. Furthermore, lazy execution can be optimized as a function of context surrounding a query, among other things.

Query Constraint Encoding With Type-Based State Machine

View page
US Patent:
20120079464, Mar 29, 2012
Filed:
Sep 27, 2010
Appl. No.:
12/890870
Inventors:
Bart De Smet - Bellevue WA, US
Henricus Johannes Maria Meijer - Mercer Island WA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06F 9/45
US Classification:
717143
Abstract:
A query specified in a source programming language can be analyzed as a function of a type-based state machine that encodes query constraints of a target programming language. The type-based state machine can encode such constraints as types representing states and methods representing transitions between states or types.

Programming Language Support For Reactive Programming

View page
US Patent:
20120084749, Apr 5, 2012
Filed:
Oct 1, 2010
Appl. No.:
12/896688
Inventors:
Jeffrey Van Gogh - Redmond, WA, US
Henricus Johannes Maria Meijer - Mercer Island WA, US
John Wesley Dyer - Monroe WA, US
Bart De Smet - Bellevue WA, US
Danny Van Velzen - Redmond, WA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06F 9/44
US Classification:
717106, 717136
Abstract:
Program language support is provided to facilitate reactive programming. Code can be provided that initiates conversion between a first-class pattern and a second-class pattern, wherein the patterns operate with respect to push-based data. Support is also provided for producing and consuming push-based data in accordance with an iterator pattern, for example.

Reactive Coincidence

View page
US Patent:
20120150514, Jun 14, 2012
Filed:
Dec 13, 2010
Appl. No.:
12/966511
Inventors:
John Wesley Dyer - Monroe WA, US
Jeffrey Van Gogh - Redmond WA, US
Henricus Johannes Maria Meijer - Mercer Island WA, US
Bart De Smet - Bellevue WA, US
Colin Joseph Meek - Kirkland WA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06G 7/48
US Classification:
703 6
Abstract:
An outer event stream can be modeled to represent duration for an event with an inner event stream. The inner event stream can be generated to represent duration of at least one event from the outer event stream. By modeling the outer event stream to include duration, coincidence between two or more events can be determined. More specifically, the modeling of the outer event stream enables use of operators to identify coincidence between events from event streams.
Bart De Smet from Kirkland, WA, age ~42 Get Report