جستجوی استاد راهنمای دانشگاهی

Sankha Guriaمشاهده پروفایل

استادیار

• Program Synthesis
• Type Systems
• Programming Languages
• +۲ مورد دیگر

Sankha Guria serves as an Assistant Professor in the Department of Electrical Engineering & Computer Science at The University of Kansas, where he conducts research at the intersection of programming languages and software engineering. His primary research focuses on advancing program synthesis techniques and type system design, with significant contributions to abstract interpretation-guided synthesis (Absynthe), effect-guided program generation (RbSyn), and security-aware declassification frameworks (ANOSY). He also investigates type-level computations for dynamic languages, particularly addressing challenges in Ruby and JavaScript through transparent object proxies and contract systems. Analysis of his publication timeline reveals strong continuity in programming languages research since 2015, with recent work (2021-2023) emphasizing lightweight abstractions for synthesis and refinement types, while maintaining foundational work on dynamic language security. His research consistently bridges theoretical formal methods with practical language implementation challenges, particularly in the context of modern scripting languages.

Randy Fortierمشاهده پروفایل

دانشگاهی

• Software Security
• Web/Mobile Development
• Computer Graphics
• +۳ مورد دیگر

Randy Fortier is an Associate Teaching Professor and Associate Dean of Science (Undergraduate) at Ontario Tech University's Faculty of Science. He specializes in Computer Science education with a focus on software security, web/mobile development, graphics, and game development. His academic career includes teaching roles at the University of Windsor (1997-2003) and Thompson Rivers University (2003-2013). Education: BSc (Honours Computer Science, Software Development) from University of Windsor (1997), MSc (Computer Science) from University of Windsor (2003). Research interests span software security, mobile/web development, computer graphics, and game development. His earlier work focused on natural language processing and distributed virtual environments. His publications explore semantic web technologies, mobile speech interfaces, and scalable distributed systems architectures. Teaching portfolio includes over 15 courses ranging from introductory programming to advanced topics like interactive media and simulation modeling. He currently holds administrative leadership in undergraduate science education.

• Programming Languages
• Formal Verification
• Compilers
• +۵ مورد دیگر

Clément Pit-Claudel is a Tenure-Track Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), leading the SYSTEMF Laboratory in the School of Computer and Communication Sciences. His work bridges programming languages, formal verification, and systems engineering to build high-assurance software and hardware components. PhD in Computer Science from MIT (2016), thesis on proof-producing compilers MSc in Computer Science from MIT BSc in Computer Science from École Polytechnique (France) Research Interests focus on correct-by-construction program synthesis , domain-specific compilers , and formal verification . He develops tools like Alectryon for interactive Coq proof visualization and Rupicola for verified compiler construction. His work spans hardware description languages (e.g., Kôika ), software verification (e.g., Fiat ), and regex engine formalization (e.g., Elk and Warblre ). Recent publications include foundational work on JavaScript regex mechanisms (ICFP 2024), relational compilation (PLDI 2022), and hardware simulation (ASPLOS 2021). His lab SYSTEMF emphasizes full assurance without compromise through machine-checked proofs and hardware-software co-design. Awards include the MIT Frederick C. Hennie III Teaching Award (2016) and MIT William A. Martin Thesis Award (2016). He has served as program committee member for conferences like PLDI, POPL, and Coq Workshop. Teaching includes Software Construction (400+ students at EPFL) and Interactive Theorem Proving graduate course. He has advised doctoral students in formal methods and compiler design.

Sachith Seneviratneمشاهده پروفایل

پژوهشگر ارشد

• Machine Learning
• Computer Vision
• Deep Learning
• +۹ مورد دیگر

Dr. Sachith Seneviratne is a Research Fellow at the University of Melbourne's Melbourne School of Design, specializing in Computer Vision and Health. His research bridges Machine Learning, Urban Design, and Public Health, with a focus on Deep Learning, Contrastive Representation Learning, and Agent-Based Modelling. He holds a PhD in Machine Learning from Monash University, exploring automated parallelized machine learning models. His work has collaborations with NASA, Harvard University, and Currnt Research Hub. He is affiliated with the Transport, Health and Urban Design (THUD) research group, focusing on 'Data and Value,' 'Future Cities,' and 'Healthy Communities and Infrastructure.' His recent publications span facial deepfake detection, urban design impacts on health, and automated architecture generation using LLMs. Research interests include generative design, automated infrastructure planning, and the ethical implications of facial recognition under privacy constraints (e.g., masked faces). He has pioneered methods for collecting population-level bicycling data via smartphones/Bluetooth beacons and developed novel architectures like Arch-LLM for neural architecture generation. His work on subgrid-informed flood mapping and physics-informed neural networks demonstrates cross-disciplinary innovation. Consulting work includes machine learning projects for NASA and Harvard. His lab teams focus on creating interpretable AI systems for environmental and health applications, such as Ginn-kan for physics simulations and Ginn-lp for symbolic equation discovery. Current projects aim to quantify urban design's impact on non-communicable diseases and improve walkability through micro-scaled spatio-temporal analysis.

Daniel Lohmannمشاهده پروفایل

استاد

• Operating Systems
• Embedded Systems
• Real-Time Systems
• +۴ مورد دیگر

Professor Daniel Lohmann leads the Systems Research and Architecture (SRA) group at Leibniz Universität Hannover since 2017, following his role as Associate Professor (Privatdozent) at Friedrich-Alexander-Universität Erlangen-Nürnberg (2009–2016). His work focuses on configurable system software, emphasizing embedded systems, real-time systems, and dependable architectures. Key projects include danceOS (dependability in embedded OS), Sloth (minimal-effort kernels), and AspectC++ (aspect-oriented C++ extension). His research is funded by DFG and addresses challenges in variability management, fault tolerance, and real-time scheduling. Research interests span operating systems design, software product lines, generative programming, and aspect-oriented development. Notable contributions include the CiAO OS family and the Sloth RTOS, leveraging aspect-oriented techniques for flexibility and efficiency. His work on configuration analysis (e.g., static variability in Linux) and fault mitigation (e.g., AN-Codes for soft errors) highlights his expertise in system reliability and optimization. Publications emphasize real-time systems, embedded software, and software engineering, with awards including the Best Paper Award at SPLC 2010 and an Outstanding Paper at RTAS 2017. He supervises theses on system software tailoring, fault tolerance, and industrial software ecosystems. His groups collaborate on invasive computing (SFB/TRR 89) and hardware-aware OS design.

Philip Fongمشاهده پروفایل

دانشیار

• Access Control
• Cybersecurity
• IoT Security and Privacy
• +۳ مورد دیگر

Philip Fong is an Associate Professor in the Department of Computer Science at the University of Calgary. He previously held a Tier-2 Canada Research Chair in Software Security (2009–2019) and served as faculty at the University of Regina (2003–2008). He holds a B.Math and M.Math from the University of Waterloo and a Ph.D. from Simon Fraser University. His research focuses on access control mechanisms, IoT security, privacy in social computing systems, and language-based security. He has contributed to frameworks addressing policy negotiation, inference attack mitigation, and privacy-preserving systems. Notable work includes developing the Papilio tool for Android permission visualization and formalizing purpose-based privacy policies. His scientific achievements include the Tier-2 Canada Research Chair. His research spans interdisciplinary areas such as geo-social computing, federated systems protection, and hybrid logic-based policy enforcement. He has also explored security in open-source medical records systems and design patterns for multi-stakeholder platforms. Collaborations involve secure collaboration models and policy analysis techniques. His work bridges theoretical foundations (e.g., policy satisfiability) with practical tools (e.g., visualization systems for access control).

Dana Kotter-Gruehnمشاهده پروفایل

استاد آموزشی

• Curriculum Development
• Psychosocial Development in Adulthood
• Social Cognition
• +۳ مورد دیگر

Dana Kotter-Gruehn is a Teaching Professor and Director of Undergraduate Advising in the Department of Psychology at NC State University's College of Humanities and Social Sciences. She holds a Ph.D. in Psychology from Freie Universität Berlin and conducted research at the Max Planck Institute for Human Development. Her work focuses on psychosocial development across adulthood, student wellness, and curriculum design emphasizing career readiness. She co-developed the Psychology Department's teaching practicum for Ph.D. students and oversees the Undergraduate Learning Assistant program. Education: Ph.D. in Psychology, Freie Universität Berlin (2008) M.S. and B.S. in Psychology, Dresden University of Technology (Germany) Research Interests: Dr. Kotter-Gruehn explores how psychosocial factors like age stereotypes and daily stressors influence aging perceptions. She also develops high-impact educational practices to enhance graduate school preparedness and student well-being. Her work bridges lifespan developmental theory with practical interventions in higher education. Advising and Program Development: As advising director, she designs curricula integrating critical career skills. Her programs include the Psychology Teaching Practicum for doctoral students and the Undergraduate Learning Assistant initiative, fostering peer mentorship and active learning.

Michael Burkeمشاهده پروفایل

مدرس پاره‌وقت

• Program Analysis
• Static Analysis-based Tools
• Mobile Security
• +۶ مورد دیگر

Michael Burke is a Senior Research Scientist and Part-Time Lecturer at Rice University's Computer Science Department. He holds a PhD from New York University (1983) and a BA from Yale University (1973). His research focuses on program analysis, static analysis tools, mobile security, parallel computing, and compiler optimization. Previously, he worked at IBM Research for over 25 years, contributing to projects like the PTRAN parallelization system, XJ XML programming language, and Jalapeno Java virtual machine. Dr. Burke has been recognized with numerous awards, including the ACM SIGPLAN Distinguished Service Award (2008), ACM Distinguished Scientist (2007), and IBM Research Division Technical Group Award (2005). He has authored over 60 technical papers and holds multiple patents related to compiler optimization and data analysis. His teaching includes courses on automata theory, compiler construction, and algorithmic thinking. Burke has advised on projects such as the Habanero Multicore Software Research Project and collaborated with organizations like Intel and Lawrence Livermore National Lab on parallel computing frameworks.

Kenji Maillardمشاهده پروفایل

پژوهشگر

• Programming Languages
• Proof Assistants
• Formal Methods
• +۹ مورد دیگر

Kenji Maillard is a junior researcher (Inria Starting Faculty Position) at Inria Rennes, affiliated with the Gallinette team and LS2N at Université de Nantes, France. He has been in this role since December 2022, following a postdoctoral fellowship in the same group under Nicolas Tabareau and Éric Tanter. PhD: ENS Ulm and Inria Paris (2019) Supervisor: Cătălin Hrițcu Thesis: Principles of Program Verification For Arbitrary Monadic Effects Kenji's research lies at the intersection of computer science and mathematics, focusing on programming languages, proof assistants, and formal methods. His work spans the metatheory of dependent type systems—leveraging category theory, homotopy theory, and model theory—as well as their verified implementation in proof assistants like Coq. He is particularly interested in gradual typing for dependent types, logical modularity, and the formalization of mathematical reasoning. His recent publications reflect a consistent focus on advancing type theory and verification frameworks. Key themes include gradualization of the Calculus of Inductive Constructions, indexed inductive types, sort polymorphism, and the integration of logical and computational principles in proof assistants. These works contribute to making formal verification more scalable and accessible. Kenji is an active contributor to the programming languages community, serving on program committees for POPL, ICFP, CPP, and other top-tier venues. He advocates for open access in academic publishing and maintains a strong public presence through his website, GitHub, and presentations. Member, POPL Program Committee (2026) PC Member, ICFP, OOPSLA, CPP, CoqPL Artifact Evaluation Committee, PLDI, POPL He has collaborated extensively with researchers such as Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter, and others. His work is primarily conducted within the Gallinette team at Inria, which focuses on the foundations and applications of proof assistants and type theory.

Rajiv Guptaمشاهده پروفایل

استاد

• Programming
• Compiler
• Runtime & Architectural Support for Parallel & Distributed Heterogeneous Systems
• +۷ مورد دیگر

Rajiv Gupta is a Professor at the University of California, Riverside and holds the Amrik Singh Poonian Chair in Computer Science . He serves as Associate Dean for Academic Personnel in the BCOE Deans Office . His research spans Compiler Design , Computer Architecture , Graph Analytics , and Software Engineering , with a focus on Parallel & Distributed Heterogeneous Systems and Runtime Behavior Monitoring . Education : Ph.D. in Computer Science from the University of Pittsburgh (1987); B.Tech. in Electrical Engineering from IIT Delhi (1982). His work includes over 326 publications with an h-index of 69 and 9 US patents . He has supervised 42 PhD students , including two ACM SIGPLAN Outstanding Dissertation Award recipients and 5 NSF CAREER awardees . His supervised papers have won Best Paper Awards at ICSE, PACT, HiPC, and LCPC. Scientific awards : ACM Fellow (2009) IEEE Fellow (2008) AAAS Fellow (2011) NSF Presidential Young Investigator Award (1991) UCR Doctoral Dissertation Advisor/Mentor Award (2012) IITDAA Global Alumni Recognition Award (2025) Professional service : Consecutive general/program chair roles at FCRC , PPoPP , ASPLOS , PLDI , and HiPC . Associate Editor for ACM TACO and IEEE TC , and current editorial board member for Parallel Computing and Computer Languages .

• Norwegian Foreign Policy
• Security Studies
• Defense Policy
• +۳ مورد دیگر

Karl Erik Haug is a Professor and Head of the Department of Modern Social History at NTNU. His research focuses on Norwegian foreign, security, and defense policy with emphasis on international relations from 1800 to the present, particularly 1870–1940. He earned his Dr.philos in 2012 with a thesis on Norway's idealism vs. realism in League of Nations diplomacy. Key research areas include comparative analyses of war and peace, interwar dynamics, and Norway's geopolitical positioning. His work bridges diplomatic history with military strategy, emphasizing Norwegian engagement in global and regional conflicts. Publications span articles, edited volumes, and books like Conceptualising Modern War (2011) and Alt henger sammen med alt! (2020). His 2020 works analyze neutrality during WWI and military education reform. Earlier works address League of Nations dynamics and WWII bombings. No scientific awards are listed, but his contributions are reflected in extensive academic output. He advises no listed students but collaborates with colleagues like Ole Jørgen Maaø and Steinar Sanderød. His role as department head underscores his institutional leadership in historical studies.

• Wireless Networks
• Multi-Agent Systems
• Network Optimization
• +۵ مورد دیگر

Iván Marsá Maestre is a Professor in the Department of Automática at Universidad de Alcalá. He holds a PhD in Telematics Engineering from the same institution, focusing on automated negotiation in complex utility spaces. His research emphasizes network optimization, multi-agent systems, cybersecurity, and wireless communication protocols. Key contributions include the development of graph-based algorithms for Wi-Fi channel assignment, negotiation frameworks for resource allocation, and resilient network architectures such as CloudWall and TOWER. His work spans diverse applications like intelligent transportation systems, IoT security, and distributed e-voting mechanisms. Notable projects include the EnvAdapt-CRO-SL algorithm for dynamic network resource allocation and the use of graph coloring techniques to mitigate interference in dense wireless networks. He has contributed to conferences like PRIMA and published extensively on automated negotiation in complex systems. Marsá Maestre’s research integrates theoretical models (e.g., fuzzy ontologies, coral reefs optimization) with practical implementations, addressing real-world challenges in network resilience, traffic management, and cybersecurity. His methodologies often combine multi-agent negotiation, graph theory, and machine learning to solve problems in decentralized systems.

• Programming Languages
• Refactoring
• Parallel Programming
• +۱۲ مورد دیگر

Christopher Brown is a Lecturer in the School of Computer Science at the University of St Andrews, where he conducts research in programming languages, refactoring, parallel programming, and energy-efficient computing. He is a member of the Programming Languages research group and leads the EPSRC-funded Energise project, focused on energy-aware refactorings for embedded systems. Previously, he led the EU Horizon 2020 TeamPlay project, addressing time, energy, and security in parallel software. Research Interests: Programming Languages: semantics, compilers, static analysis Refactoring: sequential to parallel transformation, correctness verification Parallel and Concurrent Programming: tools, skeletons, GPUs, multi-core systems Energy Optimization: compiler and refactoring techniques for low-energy software Verification: dependent types, formal soundness, non-functional properties The recent publications reflect a strong focus on dependently-typed parallel languages, algorithmic skeletons, and specification-guided refactoring, with applications in energy efficiency and safety. His work bridges theoretical foundations with practical tool development, including open-source systems like Skel and ParaFormance. Scientific Awards: No scientific awards explicitly mentioned in the provided text. Advising and Grants: Supervision: Accepting postgraduate research students; no named students listed. Grants: Principal Investigator on two major projects: Energise (EPSRC): Refactorings and skeletons for energy-aware embedded systems (2021–2024) TeamPlay (EU Horizon 2020): Time, energy, and security analysis for heterogeneous platforms (2018–2021) Labs and Teams: Member of the Programming Languages group at the University of St Andrews. Actively involved in developing open-source tools such as Skel (Erlang parallel library) and ParaFormance (C/C++ refactoring suite), and contributes to collaborative research in parallelism and verification.

Gael Thomasمشاهده پروفایل

استاد

• Distributed Systems
• Operating Systems
• Virtualization
• +۴ مورد دیگر

Prof. Gael Thomas is a Professor at Telecom SudParis, focusing on distributed systems, operating systems, and high-performance computing. His work emphasizes virtualization, concurrency control, and secure execution environments. He has contributed extensively to projects like VMKit, I-JVM, and J-NVM, addressing challenges in garbage collection, system scalability, and trusted computing. His research interests include: Virtualization techniques for improved system isolation Optimizing garbage collectors for multicore architectures Trusted execution environments using SGX and HTM Performance analysis of MPI/OpenMP applications Notable contributions: Developed PALLAS trace format for HPC analysis (2025) Created NVCache for NVMM-based I/O optimization (2021) Pioneered secure code partitioning techniques (2023-2024) His work has been presented at top conferences including EuroSys, Middleware, and DSN.

Leonor Santiago Pintoمشاهده پروفایل

استادیار

• Operations Research
• Arc Routing Problems
• Vehicle Routing
• +۷ مورد دیگر

Leonor Santiago Pinto is an Assistant Professor in the Department of Mathematics at ISEG, University of Lisbon, specializing in Operations Research. She has been a faculty member since 1983 and previously taught at the University of Macau (1991–1998). She is actively involved in teaching and coordinates the Master’s program in Quantitative Methods for Economic and Business Decision-Making. Her research focuses on combinatorial optimization, particularly arc routing problems with applications in urban logistics, waste collection, parking enforcement, and conservation biology. She employs mathematical programming and heuristic methods to solve real-world logistical challenges. Her recent publications highlight a strong trend in applying arc routing models to municipal services, with emphasis on solution attractiveness, trip balancing, and hybrid matheuristics. Her work bridges theoretical optimization with practical implementation in urban environments. PhD in Mathematics Applied to Economics and Management, ISEG (2004) She has supervised numerous Master’s theses on topics including waste collection, scheduling, logistics, and optimization in healthcare and sports. She has co-supervised a doctoral thesis and continues to mentor students in quantitative decision-making. Leonor Pinto is affiliated with ISEG’s research initiatives in data and policy modeling, contributing to applied projects in urban sustainability and public service optimization.