جست‌وجوی استاد و پژوهشگر

Werner Dietlمشاهده پروفایل

دانشیار

• Programming languages
• Software engineering
• Software correctness and robustness
• +۳ مورد دیگر

Werner Dietl is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, specializing in safe software development through theoretical frameworks and practical tools. His work minimizes software defects by integrating programming languages, verification, security, and systems engineering to enhance software trustworthiness and reliability. Dr. Dietl's educational background includes: Doctorate in Technical Sciences from Swiss Federal Institute of Technology (2009) Master of Science in Computer Science from Bowling Green State University (2000) Diplom-Ingenieur in Applied Computer Science and Business from Salzburg University (1999) His research spans programming languages, software engineering, software correctness, dependability, cybersecurity, and Internet of Things. By developing ownership type systems and static analysis techniques, he addresses critical challenges in software robustness—particularly for mobile platforms and complex systems—where security failures could have severe consequences. This interdisciplinary approach bridges theoretical rigor with real-world tool development. Dr. Dietl's publication history reveals a sustained focus on type systems and program analysis, evolving from foundational work on universe types (2007-2011) to applied static analysis for Android and Java (2015). His research consistently targets software reliability through formal methods, with increasing emphasis on security-critical contexts like mobile ecosystems. His recognition includes: 2023 Amazon Research Award for 'Optional Type Systems for Model-Implementation Consistency' in Automated Reasoning As an educator, Dr. Dietl mentors graduate students and teaches core courses including ECE 150 (Fundamentals of Programming), ECE 351 (Compilers), and ECE 654 (Software Reliability Engineering). His grant activities center on software reliability research, exemplified by the Amazon-funded project advancing model-implementation consistency verification techniques.

Olaf Chitilمشاهده پروفایل

مدرس

• Functional Programming
• Programming Language Semantics
• Type Theory
• +۶ مورد دیگر

Olaf Chitil is a Lecturer at the University of Kent 's School of Computing , where he has been since 2004. He completed his PhD at RWTH Aachen in 2000, focusing on type-based deforestation of functional programs. His academic journey includes postdoctoral roles at the University of York, where he collaborated on the Haskell tracer Hat , and teaching fellowships. Research Interests : Centered on functional programming languages, particularly Haskell , with emphasis on semantics , type theory , program transformation , compiler construction , message-passing concurrency , and programming tools . His work aims to enhance software development through type systems, algorithmic debugging, and self-tracing mechanisms. Teaching : Modules include Algorithms and Logic and Foundations of Computing II . Publications : Over 15 recent works address type error debugging, Haskell tools like Hat , and compiler techniques. Collaboration with researchers such as Joanna Sharrad and Kanae Tsushima highlights his contributions to algorithmic debugging frameworks. Professional Service : Organized PPDP 2014 and LOPSTR 2014 , chaired IFL 2007 , and served on program committees for Haskell Symposium , ICFP , and TFP conferences. Long-time member of PPDP steering committee and IFL advisory committee . Students : Invites PhD applications focused on functional programming languages. Software : Developed Hat (source-level Haskell tracer), StrictCheck (strictness testing), TypeIlluminator (type error debugging), and contributed to FPretty (efficient pretty-printing).

Nan Sunمشاهده پروفایل

مدرس

• Cybersecurity
• Artificial Intelligence
• Data Analytics
• +۵ مورد دیگر

Nan Sun is a Lecturer at the School of Systems & Computing , University of New South Wales, Canberra , conducting interdisciplinary research at the intersection of cybersecurity and artificial intelligence. Her work focuses on data-driven cybersecurity incident prediction, cybersecurity awareness education systems, and AI applications for threat intelligence. PhD in Information Technology (Deakin University) Former Research Fellow at Deakin University's Centre for Cyber Security Research and Innovation Her research spans cybersecurity (60%), machine learning (25%), and software engineering (15%). Recent publications analyze adversarial machine learning, tropical cyclone forecasting with deep learning, and ethical AI frameworks for cyberbullying mitigation. She leads grants including the UNSW Recruitment Research Proposal Grant and CSIRO Data61 funding. Current teaching includes Big Data and Decision Analytics for Security and Digital Forensics . She offers PhD scholarships to students with high academic achievement.

• Type Theory
• Programming Language Semantics
• Formalization of Mathematics
• +۷ مورد دیگر

Niccolò Veltri is an Assistant Professor in the Department of Software Science at Tallinn University of Technology, Estonia. He is a member of the Logic and Semantics research group and co-organizes the Theory Seminar (TSEM). His primary research interests lie in Type Theory , Programming Language Semantics , Formalization of Mathematics , and Categorical Proof Theory . His work emphasizes rigorous formalization using proof assistants, particularly Agda, to develop and verify complex logical and computational systems. The recent publications highlight a consistent focus on foundational aspects of logic and computation. Key themes include the formalization and metatheory of substructural and non-commutative logics (e.g., Lambek calculus, skew monoidal categories), the use of focusing for proof normalization, the semantics of process calculi (CCS, π-calculus) in guarded and cubical type theories, and the constructive treatment of coinductive data and final semantics. The consistent use of Agda for formalization is a hallmark of his research output. No scientific awards were mentioned in the provided text. Niccolò Veltri advises several PhD students, including Michel Smykalla, Ioannis Andreou, Andrea Laretto, Michele De Pascalis, Philipp Joram, and Cheng-Syuan Wan, often in collaboration with Tarmo Uustalu and Fosco Loregian. There is no mention of specific grants in the provided text. He is a core member of the Logic and Semantics research group at the Institute of Computer Science, Tallinn University of Technology, which drives his collaborative research and the organization of the Theory Seminar (TSEM).

Amal Ahmedمشاهده پروفایل

استاد

• Compiler Verification
• Language Interoperability
• Type Systems
• +۷ مورد دیگر

Amal Ahmed is a Professor at Khoury College of Computer Sciences, Northeastern University, where she leads the SILC (Secure Interoperability, Languages, and Compilers) research group. She holds a Ph.D. in Computer Science from Princeton University. Her research focuses on programming languages, compilers, and software security, with emphasis on compiler verification, language interoperability, type systems, gradual typing, and secure compilation. She teaches courses including CS7470 (Seminar in PL: Logical Relations) and CS7400 (Intensive Principles of Programming Languages). Research Focus Dr. Ahmed's work bridges theoretical foundations and practical implementation, exploring: semantics and type systems for imperative/probabilistic languages; safe multi-language interoperability; compiler correctness; gradual typing; and provenance. Her recent publications demonstrate strong emphasis on secure compilation techniques, WebAssembly interoperability, and formal verification of compiler transformations. Professional Recognition NSF CAREER Award recipient Keynote speaker at major conferences including OOPSLA 2023, LICS 2022, and ESOP 2018 Program chair for POPL 2023 and OOPSLA 2022 Editorial board member for Journal of Functional Programming and Mathematical Structures in Computer Science Research Team & Students Dr. Ahmed leads an active research group with 7 PhD students and 1 postdoc. She has graduated 4 PhD students who now hold academic positions at University of Michigan, UBC, and Northeastern. Her mentorship extends to numerous MS students and undergraduates, with several receiving NSF GRFP awards.

Anders Møllerمشاهده پروفایل

استاد

• Static Program Analysis
• Dynamic Program Analysis
• JavaScript
• +۵ مورد دیگر

Anders Møller is a Professor at the Department of Computer Science , Aarhus University , Denmark. His career spans roles as an author , committee member , and session chair in conferences like SPLASH, OOPSLA, ECOOP, ISSTA, ICSE, and PLDI. Affiliation: Aarhus University Co-founder: Coana Research Focus : Specializing in static and dynamic program analysis for JavaScript, TypeScript, Java, and Node.js applications, his work addresses: Pointer analysis precision in Java Race condition detection in Node.js Library evolution and semantic patching Soundness improvements in static analyzers Type safety in modern languages Concolic execution for web testing Publication Trends : Recent work (2021–2024) emphasizes security-critical static analysis (taint specifications, Node.js security), soundness optimization (approximate interpretation), and program verification (channel-based communication). Earlier work (2013–2018) includes foundational contributions to JavaScript refactoring , Dart type safety , and AJAX race detection . Scientific Recognition : ISSTA 2019 Distinguished Paper Award Leadership Roles : Active in steering committees for SPLASH, ECOOP, and SIGPLAN, with chairs in OOPSLA, ECOOP, and PLDI program committees.

Jonathan Aldrichمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Verification
• +۳ مورد دیگر

Jonathan Aldrich is a Professor at Carnegie Mellon University's School of Computer Science, with joint appointments in the Software and Societal Systems Department and Computer Science Department. He directs the Master of Software Engineering program (as of July 2025) and previously led the Software Engineering Ph.D. program. Aldrich teaches courses in programming languages, software engineering, and program analysis. Education: Ph.D. in Computer Science and Engineering, University of Washington (2003) M.S. in Computer Science and Engineering, University of Washington (1999) B.S. in Engineering and Applied Science (Computer Science), Caltech (1997) Research Focus: Aldrich's work bridges programming languages and software engineering to improve software quality and productivity. His research explores how structural and behavioral design aspects can be expressed in source code, enabling better tooling and error reduction. Key innovations include gradual verification systems, typestate-oriented programming, and ownership models for security. His projects span blockchain safety (Obsidian), concurrency (AEminium), and visualization (Penrose). Publication Trends: Aldrich's 15 most recent articles reflect a strong emphasis on language-based security, formal verification (especially gradual verification techniques), and human-centered language design. His work increasingly integrates empirical studies to evaluate usability in advanced type systems. Awards: NSF CAREER Award (2006) Dahl-Nygaard Junior Prize (2007) ICSE Most Influential Paper Award (2012) DARPA Computer Science Study Group (2007) William Chan Memorial Dissertation Award (2003) Leadership & Service: Aldrich directs graduate programs, co-authored the textbook 'Programming Language Pragmatics,' and serves on the ACM Publications Board. As CTO of Noteful, he develops educational music technology. He has chaired program committees for OOPSLA, ECOOP, and SPLASH conferences.

Marthe Nordengen Berntzenمشاهده پروفایل

پژوهشگر ارشد

• Software Engineering
• Agile Software Development
• Large-Scale Agile Frameworks
• +۴ مورد دیگر

Dr. Marthe Nordengen Berntzen is a Postdoctoral Fellow at the Department of Informatics, University of Oslo, specializing in large-scale agile software development and coordination mechanisms. Her research focuses on team autonomy, task interdependence, and organizational challenges in distributed agile environments. With publications in venues like IEEE Transactions on Software Engineering and Springer's Agile Processes in Software Engineering and Extreme Programming, Berntzen has conducted extensive case studies on coordination strategies, product management, and data science integration in agile frameworks. She has collaborated with researchers across Norway and internationally. Her work explores the balance between team autonomy and interdependence, leadership dynamics in distributed teams, and the evolution of coordination mechanisms over time. Recent publications include empirical analyses of Scaled Agile Framework (SAFe) implementations and data science role integration challenges. Dr. Berntzen's research has been presented at major conferences including XP (Agile Software Development) and Hawaii International Conference on System Sciences (HICSS). She holds a PhD in Software Engineering and continues contributing to agile methodology research.

Cornelis (Kees) Huizingمشاهده پروفایل

استادیار

• Software Engineering
• Concurrent Programming
• Code Transformation
• +۳ مورد دیگر

Cornelis (Kees) Huizing is an Assistant Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology. His work focuses on software engineering , concurrent programming , and dependency safety in Java , with a strong emphasis on model-to-code transformations and educational tools. Research Interests : Concurrency, code transformation, Java programming, failbox mechanisms, and structured design methodologies. Collaboration Networks : Active in interdisciplinary research related to concurrent systems, state machines, and software engineering practices, as evidenced by his fingerprint metrics. Teaching Contributions : Involved in courses such as Capstone and Computer Science Teaching, emphasizing interactive and independent learning strategies for software-intensive systems.

• Optimization
• Cryptography
• Artificial Intelligence
• +۵ مورد دیگر

Yu Li is a Lecturer at the University of Picardie Jules Verne (UPJV) and a member of research unit UR 4290 “Optimization and Cryptography, AI – OCIA.” His office is located in room 302, reachable by internal telephone extension 5900. Research Interests Dr. Li’s research spans several inter-related domains: Optimization & Control Theory – developing dynamic optimization algorithms for industrial processes such as continuous casting in steel manufacturing. Cryptography & Security – investigating secure and dependable models for cloud and distributed systems. Artificial Intelligence & Robotics – integrating AI perception and decision-making into cloud-connected robotic platforms, including exoskeletons for rehabilitation and autonomous ground vehicles. Cloud & Fog Computing – designing middleware and domain-specific languages that seamlessly connect robotic devices with cloud and edge resources. Publication Trends Over the past decade, Dr. Li’s publication record reveals a clear evolution from foundational work in software architecture and component-based systems (2010-2016) toward cutting-edge applications in cloud/fog-enabled robotics and AI-driven cyber-physical systems (2017-2023). His studies increasingly emphasize real-world deployment, simulation-driven resource estimation, and human-centric interaction in rehabilitation robotics. Scientific Awards & Recognition No specific awards are listed in the provided materials. Advising & Funding No explicit information about supervised students or funded grants is available in the text supplied. Laboratories & Teams He carries out his research within the UR 4290 research unit “Optimization and Cryptography, AI – OCIA” at UPJV, focusing on collaborative projects that bridge mathematics, computer science, and robotics engineering.

• Statistics
• Applied Mathematics
• Systems Biology
• +۲ مورد دیگر

Dr. Hannes Matuschek is a Researcher in the Department of Applied Mathematics at the University of Potsdam, Germany, with office space 2.09.1.24 and contact email hannes.matuschek@uni-potsdam.de. He actively participates in the institute's academic events including working group seminars and colloquia. Research Interests: His work spans Statistics, Applied Mathematics, Systems Biology, and Biomechanics. Key contributions include statistical methodology for linear mixed models (addressing Type I error/power tradeoffs and interaction effects), smoothing spline ANOVA for eye movement analysis in reading, stochastic modeling of gene regulatory networks, and vector field manipulations on spherical domains. His research bridges theoretical frameworks with applications in cognitive science, systems biology, and fraud detection. Publication Trends: His 12 publications (2012-2019) reveal a trajectory from computational systems biology (stochastic biochemical kinetics tools like iNA) toward statistical methodology development. Early work focused on noise approximation in gene networks, evolving into eye-tracking analysis and vector field mathematics, demonstrating consistent integration of advanced statistics with domain-specific challenges across biological and cognitive sciences. Scientific Awards: No awards were mentioned in the provided materials. Advising and Grants: No information was provided regarding student supervision, grant funding, or research collaborations. Labs and Teams: He operates within the Applied Mathematics research group at the University of Potsdam, contributing to seminars and events in analysis and interdisciplinary applications as evidenced by his institutional presence.

• Formal Methods of Software Reliability
• Software Engineering
• Computer Science
• +۱ مورد دیگر

Prof. Dr. Ayikudi Ramachandrakumar Balasubramanian holds a Professorship in Formal Methods of Software Reliability at the Technical University of Munich (TUM) within the TUM School of Computation, Information and Technology . His work focuses on rigorous mathematical approaches to ensure software system dependability. Research interests include formal verification, software reliability engineering, and computational logic. Awarded as part of the TUM Senior Excellence Faculty and recognized as an Honorary Professor .

Felix Fischerمشاهده پروفایل

پژوهشگر

• Information Security
• Usable Security
• Machine Learning Applications
• +۳ مورد دیگر

Felix Fischer is a Researcher at the Professorship of Cyber Trust within the Department of Computer Science, Technical University of Munich, affiliated with the School of Computation, Information and Technology. His work focuses on the intersection of information security , privacy technologies , and human-computer interaction . Research interests include: Usability and acceptance of security systems Machine learning applications for secure coding Cryptographic implementation challenges in software development Code reuse vulnerabilities in Android applications Recent publications demonstrate his focus on developer security behavior and machine learning interventions across platforms like GitHub and Stack Overflow. He actively contributes to empirical security studies through software tools such as APDG (Attributed Program Dependency Graph generator) and FixTest. Contact: flx.fischer@tum.de | GitHub | Twitter

• Programming Languages
• Formal Methods
• Semantics of Programming Languages
• +۳ مورد دیگر

François Pessaux is a Professor and Teacher-researcher at ENSTA Paris, working within the Computer Science and Systems Engineering Unit (U2IS). His academic career spans several decades with significant contributions to programming language theory and formal methods. His research interests focus on Programming Languages , Formal Methods , Semantics of Programming Languages , Compilation , Proofs , and Hybrid Systems . Pessaux has developed extensive expertise in programming language semantics, particularly with functional languages like OCaml, and has made substantial contributions to formal verification techniques. His work bridges theoretical computer science with practical software development, especially for critical systems. His publication record shows a consistent focus on programming language design, semantics, and verification. Notable works include his comprehensive books on programming language concepts and his significant contributions to the FoCaLiZe environment, which supports formal integrated development for certified software. His research has evolved from foundational work on exception analysis in the 1990s to more recent comprehensive treatments of programming language semantics. Pessaux actively contributes to both research and education at ENSTA Paris, teaching foundational computer science courses including IN101 (Algorithms and Programming) and other advanced programming language courses. His teaching materials from recent academic years (2022-2023) demonstrate his ongoing commitment to computer science education. He is deeply involved with the FoCaLiZe project, which appears to be a formal integrated development environment for building certified software. This work connects programming language theory with practical software verification for critical systems, demonstrating his ability to bridge theoretical and applied computer science.

Laura Carnevaliمشاهده پروفایل

دانشیار

• Formal Methods
• Real-Time Systems
• Performance Evaluation
• +۴ مورد دیگر

Laura Carnevali is an Associate Professor of Computer Science at the Department of Information Engineering, University of Florence, where she leads research in formal methods and performance evaluation as a member of the Software Technologies Lab. She teaches Software Engineering for Embedded Systems, Quantitative Evaluation of Stochastic Models, and Foundations of Computer Programming at the School of Engineering. Her research focuses on formal methods for real-time software development and performance evaluation of non-Markovian models, with significant contributions to the ORIS Tool for quantitative system analysis. Key areas include: Stochastic modeling of critical infrastructure Formal verification of real-time systems Reliability engineering methodologies Performance evaluation of cyber-physical systems Her publications show strong emphasis on applied formal methods, with recent work focusing on workflow analysis, infrastructure reliability, and transportation systems modeling. Research consistently integrates theoretical frameworks with practical applications in engineering domains. Awards include: Best Paper Award at ICPE 2021 She actively contributes to academic service as program committee member for leading conferences including FORMATS, QEST, and EPEW, and serves as reviewer for IEEE Transactions on Software Engineering, Reliability, and other prestigious journals.